[PATCH] efi: fix semihosting EFI payload booting