[PATCH 1/1] efi_loader: superfluous efi_restore_gd after EFI_CALL