u-boot 32-bit on Raspberry Pi 4