Honor RPI_UBOOT_SRC in config.sh.