One suggestion: you can create a md device from the uncompressed boot image, mount the msdos partition on your x86-64 FreeBSD machine and copy rpi-firmware (which gets installed in /usr/local/share/rpi-firmware so you can pkg install it on your x86-64 machine) in the right place. Something like:
doas zsh
mdconfig -t vnode -a -f FreeBSD-14.3-RELEASE-arm64-aarch64-RPI.img
mount -t msdosfs -r /dev/md0p1 /mnt
Now you can examine what is on dos partition of the install image (which will normally show up as /boot/efi). Presumably it has bcm2711-rpi-400.dtb. You can override what all it there with the following
pkg install -y rpi-firmware
cd /usr/local/share/rpi-firmware
cp -r . /mnt
I think you should copy config_rpi4.txt to config.txt but not 100% sure. Once done, you can do this:
umount /mnt
mdconfig -d -u 0
exit # to get out of "doas zsh" superuser shell
Now you can copy this img to an sdcard as before and try booting. I did something similar on a pi4 but that was a couple years ago and I don't recall exact steps. Now it is running 16.0-CURRENT (cross-compiled locally and installed from the pi itself).
[edit:] make sure you understand what config.txt does! Probably explained on some raspberrypi page.