Re: [PATCH 1/3] acpi : move cpuidle_device field out of the acpi_processor_power structure