Description: Add an environment variable GRUB_DISABLE_DEVICETREE which can be
 set to "1" to disable adding the devicetree command to the GRUB config.
Author: Isaac True <isaac.true@canonical.com>
Last-Updated: 2023-09-27
Signed-off-by: Isaac True <isaac.true@canonical.com>

--- a/util/grub.d/10_linux.in
+++ b/util/grub.d/10_linux.in
@@ -298,7 +298,7 @@
 	initrd	$(echo $initrd_path)
 EOF
       fi
-    if test -n "${dtb}" ; then
+    if test -n "${dtb}" && [ x"$GRUB_DISABLE_DEVICETREE" != "x1" ]; then
       if [ x"$quiet_boot" = x0 ] || [ x"$type" != xsimple ]; then
         message="$(gettext_printf "Loading device tree blob...")"
         sed "s/^/$submenu_indentation/" << EOF