kernel loaded but not executed

[CarlFK]

This sometimes happens:
pi 13
Machine model: Raspberry Pi 3 Model B Rev 1.2

power cycle generally fixes.

serial console:

MESS:00:00:52.573965:0: brfs: File read: /mfs/sd/cmdline.txt
MESS:00:00:52.578388:0: Read command line from file 'cmdline.txt':
MESS:00:00:52.584241:0: 'root=/dev/nfs nfsroot=10.21.0.1:/srv/nfs/rpi/bookworm/root,nfsvers=3 ro ip=dhcp rootwait consoleblank=0 netconsole=@/,@10.21.0.1/ overlayroot=tmpfs console=serial0,115200'
MESS:00:00:52.793231:0: brfs: File read: 191 bytes
MESS:00:00:57.356734:0: brfs: File read: /mfs/sd/kernel8.img
MESS:00:00:57.360705:0: Loaded 'kernel8.img' to 0x200000 size 0x8d8bd7
MESS:00:00:59.802697:0: kernel GZIP decompression failed - error 0
MESS:00:00:59.819687:0: Kernel relocated to 0x80000
MESS:00:00:59.822864:0: Device tree loaded to 0x2e4fd000 (size 0x8fe1)
MESS:00:00:59.829152:0: gpioman: gpioman_get_pin_num: pin LEDS_PWR_OK not defined
MESS:00:01:04.639007:0: gpioman: gpioman_get_pin_num: pin LEDS_PWR_OK not defined
MESS:00:01:09.447474:0: gpioman: gpioman_get_pin_num: pin LEDS_PWR_OK not defined
MESS:00:01:14.255928:0: gpioman: gpioman_get_pin_num: pin LEDS_PWR_OK not defined