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

[Ludovic Courtès]

Committed as 6c777cf, thanks for testing!

Ludo’.