That sounds like an ancient nvidia version, I think you need a mainline
u-boot (like the one build by pkgsrc/sysutils/u-boot-jetson-tx1).
Since the flash tools aren't consistent with the NVIDIA documentation, I
wasn't able to flash a u-boot-dtb.bin created from pkgsrc. Instead, I
updated to the latest Tegra Linux R28.2.0 package from NVIDIA with
u-boot 2016.07-g9c3b9a4 (Mar 01 2018 - 20:40:15 -0800).
Now NetBSD boots, but it hangs for thirty seconds or so here:
[ 1.0000000] (devmap va area)
[ 1.0000000] VM_MAX_KERNEL_ADDRESS = 0xffffffffffe00000
[ 1.0000000] ------------------------------------------
After that, it boots this far: