[Linaro-open-discussions] Re: [Question - ARM CCA] Regarding vCPU Hotplug Support in ARM Realm world