Drop the /etc/default/grub hacks now that Debian ships a kernel with my deferred...

[debian-xu4] / mkimage.sh

diff --git a/mkimage.sh b/mkimage.sh
index 98ad18bd0c4214c26443e8dd46d4befd4696790e..745a209748ccadd117c90006406d64c4a93c260e 100755 (executable)
--- a/mkimage.sh
+++ b/mkimage.sh
@@ -169,6 +169,9 @@ echo odroid > /mnt/xu4/etc/hostname
 # Work around Debian bug #824391.
 echo ttySAC2 >> /mnt/xu4/etc/securetty
 
+# Work around Debian bug #825026.
+echo ledtrig-heartbeat >> /mnt/xu4/etc/modules
+
 # Install GRUB, chainloaded from U-Boot via UEFI.
 mount --bind /dev /mnt/xu4/dev
 mount --bind /proc /mnt/xu4/proc
@@ -195,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