Booting Jetson TX1?

[John Klos <john%ziaspace.com@localhost>]

Trying NetBSD-evbarm-aarch64-201808031650Z-generic.img.gz on a Jetson TX1 
on an SD card fails with:

NetBSD/arm64 boot options
1:      NetBSD/arm64
Enter choice: 1:        NetBSD/arm64
Retrieving file: /netbsd.img
reading /netbsd.img
9763292 bytes read in 516 ms (18 MiB/s)
append: root=ld0a console=fb
Retrieving file: /dtb/tegra210-p2371-2180.dtb
reading /dtb/tegra210-p2371-2180.dtb
59239 bytes read in 24 ms (2.4 MiB/s)
## Flattened Device Tree blob at 82000000
   Booting using the fdt blob at 0x82000000
   Using Device Tree in place at 0000000082000000, end 0000000082011766
Can't create DT prop nvidia,emc-trim-regs-per-ch to copy
Can't create DT prop compatible to copy
Can't create DT node emc-table@204000 to copy
ERROR: board-specific fdt fixup failed: FDT_ERR_NOTFOUND
 - must RESET the board to recover.

FDT creation failed! hanging...### ERROR ### Please RESET the board ###


The u-boot version on the TX1 is2015.07-rc2-00027-g1ee64e9 (Oct 30 2015 - 
14:22:52 -0700). Do I need a newer version? A different 
tegra210-p2371-2180.dtb, perhaps?

Thanks,
John