grub2-cfg.patch

   1 diff -ur grub-2.04.orig/docs/grub.cfg grub-2.04/docs/grub.cfg
   2 --- grub-2.04.orig/docs/grub.cfg        2019-08-18 15:56:16.561000000 +0200
   3 +++ grub-2.04/docs/grub.cfg     2019-08-18 15:56:54.745000000 +0200
   4 @@ -14,8 +14,8 @@
   5  # For booting GNU/Linux
   6  menuentry "GNU/Linux" --id gnulinux {
   7         set root=(hd0,msdos1)
   8 -       linux /vmlinuz root=/dev/sda1
   9 -       initrd /initrd.img
  10 +       linux /boot/vmlinuz root=/dev/sda1
  11 +       initrd /boot/initrd
  12  }
  13
  14  # For booting GNU/Hurd