x86, efi: Fix 32-bit EFI handover protocol entry point