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