Add OVMF binaries for UEFI testing in QEMU

OVMF provides a UEFI firmware implementation for QEMU based on Intel's
EDK2 (EFI Development Kit).