arm64: KVM: Avoid setting the upper 32 bits of VTCR_EL2 to 1