Re: [Linaro-acpi] [PATCH 10/10] ARM64 / CPU hot-plug: Skeleton logic cpu online/offline for cpu hot-plug