[PATCH 09/11] KVM: arm64: Make vcpu_cp1x() work on Big Endian hosts