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