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