[U-Boot] 32-bit Tegra build failure in u-boot-dm

Simon,

All 32-bit Tegra boards appear to be failing to build in u-boot-dm.git master branch with:

BINMAN u-boot-tegra.bin binman: Unknown entry type 'u-boot-spl' in node '/binman/image1/u-boot-spl' /var/lib/jenkins/workspace/u-boot-denx_uboot_dm-master-build/src/u-boot/Makefile:1437: recipe for target 'u-boot-tegra.bin' failed make[1]: *** [u-boot-tegra.bin] Error 1 make[1]: Leaving directory '/var/lib/jenkins/workspace/u-boot-denx_uboot_dm-master-build/build/u-boot/jetson-tk1' Makefile:148: recipe for target 'sub-make' failed make: *** [sub-make] Error 2 make: Leaving directory '/var/lib/jenkins/workspace/u-boot-denx_uboot_dm-master-build/src/u-boot'