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