x86: 32-bit EFI runtime service support: fixes in sync with 64-bit support