NetBSD 10-Stable RaspberryPi 4 and UEFI v.1.39 not working ok

[Ramiro Aceves <ea1abz%gmail.com@localhost>]

Hello

I have been using successfuly my RPi4 for months with UEFI firmware
v1.37 from https://github.com/pftf/RPi4. It is solid rock. I have
updated to NetBSD-10 Stable from source twice, one around october and
one time more at the end of november by using binary sysupgrade path
and appeared to be working fine.

netbsd-raspa4$ uname -a
NetBSD netbsd-raspa4 10.0_STABLE NetBSD 10.0_STABLE (GENERIC64) #0:
Thu Nov 28 16:37:05 UTC 2024
mkrepro%mkrepro.NetBSD.org@localhost:/usr/src/sys/arch/evbarm/compile/GENERIC64
evbarm


I have just upgraded UEFI firmware to v1.39 by uncompressing it over
/boot and NetBSD does not work well with it. First time I booted into
the system it appeared to work but when I issued "reboot" kernel
paniced. I rebooted again and wanted to do a pkgin update and pkgin
upgrade and in the middle of firefox upgrading it paniced again. It
definitely does not work ok.

So I came back to UEFI  v1.37 and it appears to be working fine again.

Also have noted some strange things that occured not frequently before
I did any firmware upgrade, also when using NetBSD-10.0 RELEASE.
Sometimes after the reboot command the RPI4 did not come to life. I
had to manually remove the power supply twice because it continued to
be stuck and never saw the raspberry image boot screen that usually
comes before the NetBSD loader comes.

Just to see if someone has encountered the same problem.

Regards.
Ramiro.