diff -urNp grub-2.02-rc1.orig/docs/grub.cfg grub-2.02-rc1/docs/grub.cfg --- grub-2.02-rc1.orig/docs/grub.cfg 2017-02-08 15:07:55.114316212 +0000 +++ grub-2.02-rc1/docs/grub.cfg 2017-02-08 15:08:12.255316019 +0000 @@ -14,8 +14,8 @@ set fallback=gnuhurd # For booting GNU/Linux menuentry "GNU/Linux" --id gnulinux { set root=(hd0,msdos1) - linux /vmlinuz root=/dev/sda1 - initrd /initrd.img + linux /boot/vmlinuz root=/dev/sda1 + initrd /boot/initrd } # For booting GNU/Hurd