efi/x86: Move 32-bit code into efi_32.c