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