x86: EFI runtime service support: remove duplicated code from efi_32.c