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 {
8 - linux /vmlinuz root=/dev/sda1
10 + linux /boot/vmlinuz root=/dev/sda1
14 # For booting GNU/Hurd