[Linaro-acpi] [PATCH part1 05/10] arm64: add CPU_HOTPLUG infrastructure