The trouble with UEFI Boot, and a helping hand from a BIOS firmware update