UEFI firmware for 64-bit x86 virtual machines
