The 12.3-BETA1 image does not boot on Raspberry Pi 3B+ on SD card. The firmware doesn't seem to see the card, and tries to netboot. The problem is with u-boot.bin; replacing it with the version from 13.0-RELEASE makes it boot and install. The problem is apparently with the numbering of the MMC interfaces.
It's related to our overlay usage and u-boot.
Since we're using mmc.dtbo the mmc devices are re-ordered and the sdcard device isn't in the list of bootable devices that will be probed by u-boot.
See https://lists.freebsd.org/archives/freebsd-arm/2021-August/000417.html and https://lists.freebsd.org/archives/freebsd-arm/2021-August/000421.html
I've asked that the patch is submitted upstream as we don't allow patches in the u-boot ports anymore (the only remaining ones are for rpi already and nobody is taking care of upstreaming them ...).
Can we use an older version of u-boot or overlay on RPI3 until this is resolved?
(In reply to Mike Karels from comment #2)
Overlay won't change a thing.
Using older version of u-boot will work but I fear that if we start doing that nobody will fix the issue upstream, we will never update u-boot for rpi again and at one point we will need a newer u-boot for some newer revision or variation and we will be blocked again.
So if you care about RPI support send the patch upstream and after that we can use the patchwork patch ID to add it in the ports while waiting for the newer u-boot release with it included.