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