From a85dbb82d5c429bbb93357837b532d1f1e62acd9 Mon Sep 17 00:00:00 2001
From: "Steinar H. Gunderson" <sgunderson@bigfoot.com>
Date: Sun, 5 Jun 2016 23:18:55 +0200
Subject: [PATCH] Drop the /etc/default/grub hacks now that Debian ships a
 kernel with my deferred probe fix.

---
 mkimage.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/mkimage.sh b/mkimage.sh
index b67c27c..745a209 100755
--- a/mkimage.sh
+++ b/mkimage.sh
@@ -198,9 +198,6 @@ echo "devicetree /exynos5422-odroidxu4.dtb"
 EOF
 chmod 0755 /mnt/xu4/etc/grub.d/25_devicetree
 
-# Work around Debian bug #823552.
-sed -i 's/\(GRUB_CMDLINE_LINUX_DEFAULT=".*\)"/\1 loglevel=4"/' /mnt/xu4/etc/default/grub 
-
 # Now we can create the GRUB boot menu.
 chroot /mnt/xu4 /usr/sbin/update-grub
 
-- 
2.39.2