Re: [Linaro-acpi] [PATCH 0/4] ARM:ACPI: CPU topology support for ACPI processor driver