Failed to execute custom kernels which where build on a RPi 4 operated by 13.1-RELEASE

From: Dr. Rolf Jansen <freebsd-rj_at_cyclaero.com>
Date: Mon, 04 Jul 2022 23:57:08 UTC
Hello!

On my brand new RPi 4 B (0xb03115), operated by 13.1-RELEASE, I built 2 custom kernels, with kernel configs from different sources. Building and installing went through without issues.

cd /
fetch https://download.freebsd.org/releases/arm64/aarch64/13.1-RELEASE/src.txz
tar -xzf src.txz
cd /usr/src

Here is the last kernel config which I used:

cat /usr/src/sys/arm64/conf/GENERIC-RPi4

   include	GENERIC
   ident	GENERIC-RPi4
   nooptions	SOC_NVIDIA_TEGRA210


make -j4 buildkernel KERNCONF=GENERIC-RPi4
make installkernel KERNCONF=GENERIC-RPi4

When restarting with any of the new kernels, booting stalls after these messages in the serial console:

   ...
   sdhci_bcm0-slot0: AC12 err: 0x00000000 | Host ctl2:0x00000000
   sdhci_bcm0-slot0: Caps:     0x00000000 | Caps2:    0x00000000
   sdhci_bcm0-slot0: Max curr: 0x00000001 | ADMA err: 0x00000000
   sdhci_bcm0-slot0: ADMA addr:0x00000000 | Slot int: 0x00000000
   sdhci_bcm0-slot0: ===========================================
   uhub0: 5 ports with 4 removable, self powered
   mmc0: No compatible cards found on bus

The last line is not indicative for the error, since I see this as well with the original GENERIC kernel, only then it does not even think once and continues without pause in the boot sequence.

Is anyone able to build !!!working!!! custom kernels with the 13.1-RELEASE sources on the very RPi 4?

Best regards

Rolf Jansen