Add a machine db entry for NVIDIA Jetson TX1 Developer Kit

Add a machine db entry for NVIDIA Jetson TX1 Developer Kit, a device
based on Tegra 210.

db/all.db

@@ -934,6 +934,12 @@ DTB-Id: sun5i-r8-chip.dtb
 U-Boot-Script-Name: bootscr.sunxi
 Required-Packages: u-boot-tools
 
+Machine: NVIDIA Jetson TX1 Developer Kit
+DTB-Id: tegra210-p2371-2180.dtb
+Boot-Script-Path: /boot/boot.scr
+U-Boot-Script-Name: bootscr.uboot-generic
+Required-Packages: u-boot-tools
+
 Machine: NVIDIA Tegra124 Jetson TK1
 Kernel-Flavors: armmp armmp-lpae
 DTB-Id: tegra124-jetson-tk1.dtb

debian/changelog

@@ -17,6 +17,7 @@ flash-kernel (3.68) UNRELEASED; urgency=medium
   * Add uboot-generic boot script for arm64: based on the armhf version
     but with booti.
   * Produce an error when the DTB cannot be found. (Closes: #833097)
+  * Add a machine db entry for NVIDIA Jetson TX1 Developer Kit.
 
  -- Karsten Merker <merker@debian.org>  Tue, 05 Jul 2016 15:07:14 +0200