Sample UEFI firmware for virtual machines
