u-boot/include/configs/rpi_2.h