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
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