grub2-cfg.patch

   1 --- docs/grub.cfg.orig  2013-11-10 19:25:04.959888566 +0000
   2 +++ docs/grub.cfg       2013-11-10 19:25:10.260104712 +0000
   3 @@ -14,8 +14,8 @@
   4  # For booting GNU/Linux
   5  menuentry "GNU/Linux" --id gnulinux {
   6         set root=(hd0,msdos1)
   7 -       linux /vmlinuz root=/dev/sda1
   8 -       initrd /initrd.img
   9 +       linux /boot/vmlinuz root=/dev/sda1
  10 +       initrd /boot/initrd
  11  }
  12
  13  # For booting GNU/Hurd