Yadka

The kernel name is "work in progress".

Insights

• needs on host apt-get install grub-pc-bin, otherwise grub-mkrescue makes EFI-only ISO.
• host needs mtools, otherwise grub-mkrescue complains with "mformat invocation failed"