UEFI-EDK2 firmware for bhyve.

WWW: https://github.com/freebsd/uefi-edk2/tree/bhyve/UDK2014.SP1
