Description: Set the fdtfile variable based from the value of
  CONFIG_DEFAULT_DEVICE_TREE.
Bug-Debian: https://bugs.debian.org/870897
Author: Vagrant Cascadian <vagrant@debian.org>

--- a/include/configs/firefly-rk3288.h
+++ b/include/configs/firefly-rk3288.h
@@ -7,6 +7,7 @@
 #define __CONFIG_H
 
 #define ROCKCHIP_DEVICE_SETTINGS \
+		"fdtfile=" CONFIG_DEFAULT_DEVICE_TREE ".dtb\0" \
 		"stdin=serial,usbkbd\0" \
 		"stdout=serial,vidconsole\0" \
 		"stderr=serial,vidconsole\0"
