On 08/04/2014 03:52 PM, Matt Fleming wrote: > > diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig > index 801ed36c2e49..fcad2e15e92a 100644 > --- a/arch/x86/Kconfig > +++ b/arch/x86/Kconfig > @@ -1520,7 +1520,7 @@ config X86_SMAP > > config EFI > bool "EFI runtime service support" > - depends on ACPI > + depends on ACPI && !X86_USE_3DNOW > select UCS2_STRING > select EFI_RUNTIME_WRAPPERS > ---help--- > As we discussed over IRC, should be EFI_STUB not EFI. Once that is fixed: Acked-by: H. Peter Anvin <hpa@xxxxxxxxxxxxxxx> ... in case Ingo or Thomas grabs it before I do. -hpa -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html