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