Re: [Linaro-acpi] [PATCH part1 00/10] ARM64 / ACPI: CPU hotplug support