[PATCH 1/3] efi_loader: correct handling of EFI binary return code