Re: [Linaro-acpi] [PATCH 0/7] minor cleanups for ACPI processor driver