Add a machine db entry for Odroid XU4.

db/all.db

@@ -384,6 +384,13 @@ DTB-Id: sun4i-a10-marsboard.dtb
 U-Boot-Script-Name: bootscr.sunxi
 Required-Packages: u-boot-tools
 
+Machine: Hardkernel Odroid XU4
+Kernel-Flavors: armmp armmp-lpae
+DTB-Id: exynos5422-odroidxu4.dtb
+Boot-Script-Path: /boot/boot.scr
+U-Boot-Script-Name: bootscr.uboot-generic
+Required-Packages: u-boot-tools
+
 Machine: HP Media Vault mv2120
 Kernel-Flavors: orion5x marvell
 Machine-Id: 1693

debian/changelog

+flash-kernel (3.65) UNRELEASED; urgency=medium
+
+  * Add a machine db entry for Odroid XU4.
+
+ -- Vagrant Cascadian <vagrant@debian.org>  Thu, 28 Apr 2016 22:58:55 -0700
+
 flash-kernel (3.64) unstable; urgency=medium
 
   [ Roger Shimizu ]