--- 10_linux.orig	2017-07-06 17:02:02.000000000 +0000
+++ 10_linux	2018-03-17 13:00:46.193055511 +0000
@@ -71,6 +71,10 @@
   LINUX_ROOT_DEVICE=UUID=${GRUB_DEVICE_UUID}
 fi
 
+if [ "x${GRUB_DEVICETREE}" != "x" ]; then
+  devicetree="${GRUB_DEVICETREE}"
+fi	
+
 case x"$GRUB_FS" in
     xbtrfs)
 	rootsubvol="`make_system_path_relative_to_its_root /`"
@@ -195,6 +199,18 @@
 	initrd	${rel_dirname}/${initrd}
 EOF
   fi
+  if test -n "${devicetree}" ; then
+    # TRANSLATORS: ramdisk isn't identifier. Should be translated.
+    if [ x"$quiet_boot" = x0 ] || [ x"$type" != xsimple ]; then
+      message="$(gettext_printf "Loading devicetree ...")"
+      sed "s/^/$submenu_indentation/" << EOF
+	echo	'$(echo "$message" | grub_quote)'
+EOF
+    fi
+    sed "s/^/$submenu_indentation/" << EOF
+	devicetree	${rel_dirname}/${devicetree}
+EOF
+  fi
   sed "s/^/$submenu_indentation/" << EOF
 }
 EOF