x86, efi: Don't use (U)EFI time services on 32 bit
[pandora-kernel.git] / arch / x86 / platform / efi / efi.c
Simple merge