Re: [PATCH V2] arm64: KVM: Fix HCR_EL2 and VTCR_EL2 configuration bits