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