RPI4 Install r357606 test 09.02.2020 failed

[bob prohaska]

On Mon, Feb 10, 2020 at 12:29:50PM -0800, Mark Millard wrote:
> 
> The following copies of the head -r356767 kernel materials
> are available, and likely will be so for about a year:
> 
> https://artifact.ci.freebsd.org/snapshot/head/r356767/arm64/aarch64/kernel.txz
> https://artifact.ci.freebsd.org/snapshot/head/r356767/arm64/aarch64/kernel-dbg.txz
> 
> Presuming the microSD card that needs a kernel
> is mounted on /mnt :
> 
> # mv /mnt/boot/kernel /mnt/boot/kerbad
> # tar -xpf PATH-FOR/kerenel.txz -C/mnt
> # tar -xpf PATH-FOR/kerenel-dbg.txz -C/mnt
> # umount /mnt
> 

The instructions worked just fine, using kernel.txz. 
Loader seems to find and copy it to memory:

Hit [Enter] to boot immediately, or any other key for command prompt.
Booting [/boot/kernel/kernel]...               
Using DTB provided by EFI at 0x7ef6000.
EFI framebuffer information:
addr, size     0x3eaf0000, 0x10a800
dimensions     656 x 416
stride         656
masks          0x00ff0000, 0x0000ff00, 0x000000ff, 0xff000000

At this point the machine stops and must be power-cycled.
Is it reasonably certain this kernel works on a Pi3 ?

There's something else wrong, apart from the kernel not booting.
Using loader's ls command it's possible to look in /boot and
see several kernels, including the one installed just now. Any
attempt to load one of the extra kernels results in

OK boot kernel.spare
can't boot 'kernel.spare', kernel module already loaded
OK unload
OK boot kernel.spare
can't find 'kernel.spare'
OK load kernel.spare
can't find 'kernel.spare'
OK load /boot/kernel.spare
don't know how to load module '/boot/kernel.spare' 

Formerly kernel.spare loaded and ran on this machine.
Also, I don't remember the need for the unload command.
Is it likely that loader is somehow corrupted? The invalid
pmap panic that took the machine down happened near the end 
of installworld. 

Thanks for reading, and all your help!

bob prohaska