[PATCH 4.19 076/267] KVM: arm64: Make vcpu_cp1x() work on Big Endian hosts