Set device_tree_address for the new kernel in the RPi bootloader config.txt

debian/changelog

@@ -18,6 +18,9 @@ livecd-rootfs (2.440) UNRELEASED; urgency=medium
     descriptions instead of the generic Linux ones. Thanks to Chris Glass.
     (LP: #1656293) 
 
+  [ Adam Conrad ]
+  * Set device_tree_address for the new kernel in the RPi bootloader config.txt
+
  -- Nishanth Aravamudan <nish.aravamudan@canonical.com>  Wed, 08 Feb 2017 18:08:24 -0800
 
 livecd-rootfs (2.439) zesty; urgency=medium

live-build/auto/config

@@ -641,6 +641,7 @@ cat > /boot/firmware/config.txt << EOM
 # Some settings may impact device functionality. See link above for details
 
 kernel=uboot.bin
+device_tree_address=0x02000000
 
 # enable i2c
 dtparam=i2c_arm=on