I'm not entirely sure what "booting with GRML" entails. I've just tested here on real hardware with UEFI firmware and KVM with OVMF, and both show a complete set of grub entries. And, of course, booting in BIOS mode doesn't get grub at all, but rather isolinux/gfxboot.
I'm not entirely sure what "booting with GRML" entails. I've just tested here on real hardware with UEFI firmware and KVM with OVMF, and both show a complete set of grub entries. And, of course, booting in BIOS mode doesn't get grub at all, but rather isolinux/gfxboot.