Crochet-built FreeBSD 11.1-RELEASE aarch64 on RPi3B+ has reboot loop

[scolby33]

My config.sh is entirely standard with RaspberryPi3 selected aside from adding an option User. The build proceeds normally and finishes with success. When starting up the Pi, however, I get the rainbow screen followed by this information. The device then resets to the rainbow screen and this happens again and again.

Net: Net Initialization Skipped
No ethernet found.
starting USB...
USB0: Core Releases: 2.80a
scanning bus 0 for devices... 5 USB Device(s) found
    scanning usb for storage devices... 0 Storage Device(s) found
    scanning usb for ethernet devices... 0 Ethernet Device(s) found
Hit any key to stop autoboot: 0
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:1...
Found EFI removable media binary efi/boot/bootaa64.efi
reading efi/boot/bootaa64.efi
62824 bytes read in 30ms (2 MiB/s)
## Starting EFI application at 01000000 ...
Scanning disks on usb...
Scanning disks on mmc...
Adding logical partition
Adding logical partition
MMC Device 1 not found
MMC Device 2 not found
MMC Device 3 not found
Found 7 disks
+[18t+[?25h+[2J
>> FreeBSD EFI boot block
   Loader path: /boot/loader.efi
   
   Initializing modules: ZFS UFS
   Probing 3 block devices..."Synchronous Abort" handler, esr 0x96000004
ELR:    3b362cec
LR:     3b361d60
x0 :    0000000000000000  x1 :    0000000000000000
x2 :    000000003b3eb000  x3 :    ffffffffffffffff
x4 :    0000000000007f35  x5 :    00000000006f27bd
x6 :    000000003af3d650  x7 :    000000003af3dc50
x8 :    000000003b372eb0  x9 :    000000003b36332c
x10:    000000000000001a  x11:    0000000000000000
x12:    000000003af2ef10  x13:    0000000000000000
x14:    000000003af2ef14  x15:    0000000000000000
x16:    0000000000000000  x17:    0000000000000000
x18:    000000003af30df8  x19:    0000000000000000
x20:    0000000039dd9008  x21:    0000000000000021
x22:    0000000039df8008  x23:    000000000001c000
x24:    0000000000000000  x25:    0000000039ddc008
x26:    000000000001c000  x27:    0000000000000000
x28:    0000000000000000  x29:    000000003af2ed50

Resetting CPU ...

resetting ...

Any thoughts on this issue?

[scolby33]

Slight update: I made a new RaspberryPi3B+ board definition pointing to the proper bcm2710-rpi-3-b-plus.dtb from raspberrypi/firmware and still have the same issue.