Re: [Linaro-acpi] [PATCH 00/10] ARM64 / ACPI: Prototype for cpu hot-plug