Firmware required to boot Raspberry Pi systems.

With u-boot rpi_3 target, config.txt should contain:

arm_64bit=1
enable_uart=1
kernel=u-boot.bin
