[U-Boot] rpi_2 builds fine with make, fails with buildman