On Thu, Nov 21, 2013 at 02:17:09PM +0800, dyoung at redhat.com wrote: > --- efi.orig/arch/x86/platform/efi/efi.c > +++ efi/arch/x86/platform/efi/efi.c > @@ -653,6 +653,10 @@ void __init efi_init(void) > > set_bit(EFI_SYSTEM_TABLES, &x86_efi_facility); > > + efi.fw_vendor = (unsigned long)efi.systab->fw_vendor; > + efi.runtime = (unsigned long)efi.systab->runtime; > + efi.config_table = (unsigned long)efi.systab->tables; A bit more readable: efi.config_table = (unsigned long)efi.systab->tables; efi.fw_vendor = (unsigned long)efi.systab->fw_vendor; efi.runtime = (unsigned long)efi.systab->runtime; -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. --