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