Comment 16 for bug 1998086

In fact, not very promising...

grub> linux /vmlinuz root=/dev/sda1
error: file /vmlinuz not found.
grub> ls
(proc) (hd0) (hd0,gpt3) (hd0,gpt2) (hd0,gpt1)
grub> search --set=root --file /vmlinuz
error: no such device /vmlinuz.
grub> search --set=root --file /initrd
error: no such device /initrd.

What next? Reinstall from CD?