[PATCH 04/87] kvm: arm64: Clean up VTCR_EL2 initialisation