Change type of struct xlat.val to uint64_t

Some ioctls have flags fields that are 64-bit.  A 32-bit val means
these flags will never be matched or printed.

* xlat.h: Include <stdint.h>.
(struct xlat): Change type of val to uint64_t.
diff --git a/xlat.h b/xlat.h
index 9e68a17..64141b3 100644
--- a/xlat.h
+++ b/xlat.h
@@ -1,7 +1,9 @@
 #ifndef STRACE_XLAT_H
 
+# include <stdint.h>
+
 struct xlat {
-	unsigned int val;
+	uint64_t val;
 	const char *str;
 };