Cc: Ingo Molnar <mingo@...>, Thomas Gleixner <tglx@...>, H. Peter Anvin <hpa@...>, Andrew Morton <akpm@...>, Daniel Exner <dex@...>, Len Brown <lenb@...>, linux-kernel@vger.kernel.org <linux-kernel@...>
First of all you want to make sure at least one of ACPI and X86_MPPARSE
is enabled if X86_LOCAL_APIC or you risk a known-broken kernel
configuration, e.g. SMP which has no slightest chance to work.
Personally I'd be happy to see CONFIG_ACPI_BOOT we used to have at one
point back just so that you can use ACPI tables to run an SMP system
without the need to pull all the power management stuff. Useful if the MP
table is broken beyond recovery. I am assuming it has been removed for a
reason though.
Maciej
--