Revert "x86/efi: Correct EFI boot stub use of code32_start"