Simon, All 32-bit Tegra builds of u-boot-dm/master are failing with the following (this log is from Harmony):
> CC spl/common/spl/spl.o > CC spl/lib/display_options.o > LD spl/common/spl/built-in.o > LD spl/lib/built-in.o > LD spl/u-boot-spl > OBJCOPY spl/u-boot-spl-nodtb.bin > COPY spl/u-boot-spl.bin > BINMAN u-boot-tegra.bin > binman: bad magic number in 'binman.etype': b'\x03\xf3\r\n' > /var/lib/jenkins/workspace/u-boot-denx_uboot_dm-master-build/src/u-boot/Makefile:1619: > recipe for target 'u-boot-tegra.bin' failed > make[1]: *** [u-boot-tegra.bin] Error 1