I started looking at this yesterday. The right thing to do is to fall back to grub-pc since the machine is normally bios booting, and they just used uefi to boot the cd.
I started looking at this yesterday. The right thing to do is to fall back to grub-pc since the machine is normally bios booting, and they just used uefi to boot the cd.