Boot BIOS-only OS on a UEFI-only system?