s390x: Use uint64_t for vector registers