x86/efi: Fix 32-bit fallout