[Linaro-open-discussions] Re: ARM64 vCPU Hotplug Kernel patches for discussion in community?