Re: [PATCH V3] arm64: KVM: Support X-Gene guest VCPU on APM X-Gene host