GPIO vs RPi 3B+ -- For audio HAT compatibility

It looks like the i2s pins on the Tritium H3/H5 do match up with the Pi 3/4. I think this means you could use a GPIO sound card (e.g. Hifiberry) on the Tritium as long as someone writes an appropriate dtoverlay as described in this post, or could one just use the same dtoverlay as for the Pi 3/4?