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