hw/arm/virt: enable passing of EFI-stubbed kernel to guest UEFI firmware