bug#19220: GRUB fails to find the ‘bzImage’ file when ‘/boot’ is on a separate partition

[Nikita Karetnikov]

> I believe this fixes the problem.

Unfortunately, it makes things worse.  Now GRUB doesn’t even bother to
show the menu; I get straight into the GRUB shell.

pgpJQpYMrtjP2.pgp
Description: PGP signature