[Linaro-open-discussions] [RFC PATCH v0.1 09/25] ACPI: processor: Register all CPUs from acpi_processor_get_info()