[kata-dev] Booting OVMF with -bios?