[Bug 1216036] [RPi4] RPi4 fails to boot with U-Boot 2023.10