x86, efi: Don't use (U)EFI time services on 32 bit
[pandora-kernel.git] / arch / x86 / platform / efi / efi.c
index a18d20d..bee75a6 100644 (file)
@@ -614,11 +614,6 @@ void __init efi_init(void)
 
        set_bit(EFI_MEMMAP, &x86_efi_facility);
 
-#ifdef CONFIG_X86_32
-       x86_platform.get_wallclock = efi_get_time;
-       x86_platform.set_wallclock = efi_set_rtc_mmss;
-#endif
-
 #if EFI_DEBUG
        print_efi_memmap();
 #endif