Raspberry Pi in 32 bit mode

[Benny Siegert <bsiegert%netbsd.org@localhost>]

Hi!

Is the RPi4 in 32-bit mode supported?

I tried writing the generic earmv7hf image to an SD card, but I get the 
blinking LED indicating that the boot failed.

Next, I tried unzipping the RPi4 UEFI firmware in the /boot partition. I 
can get to the UEFI shell just fine, but it refuses to start bootarm.efi, 
saying it is "unsupported".

Is there a trick that I am missing?

Can bootaarch64.efi boot a 32-bit kernel, maybe?

--
Benny