[PATCH v2] bhyve: add <os firmware='efi'> support