raspberrypi: Fix U-Boot support