[Linaro-open-discussions] [RFC PATCH v0.1 01/25] ACPI: Move ACPI_HOTPLUG_CPU to be enabled per architecture