Re: [Linaro-acpi] [PATCH v7 3/8] ACPI: Decouple ACPI idle and ACPI processor drivers