grub2-cfg.patch

   1 diff -urNp grub-2.02-rc1.orig/docs/grub.cfg grub-2.02-rc1/docs/grub.cfg
   2 --- grub-2.02-rc1.orig/docs/grub.cfg    2017-02-08 15:07:55.114316212 +0000
   3 +++ grub-2.02-rc1/docs/grub.cfg 2017-02-08 15:08:12.255316019 +0000
   4 @@ -14,8 +14,8 @@ set fallback=gnuhurd
   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