ARMv7: Add stdint types needed for vboot library

BUG=none
BRANCH=none
TEST=boot tested on pit, but more changes needed

Change-Id: I778ea787b20a7d7d7b202b1b5e7f956d2fde6629
Signed-off-by: Stefan Reinauer <reinauer@google.com>
Reviewed-on: https://chromium-review.googlesource.com/169621
diff --git a/src/arch/armv7/include/stdint.h b/src/arch/armv7/include/stdint.h
index a8a0230..9d41e63 100644
--- a/src/arch/armv7/include/stdint.h
+++ b/src/arch/armv7/include/stdint.h
@@ -75,6 +75,18 @@
 typedef int16_t s16;
 typedef int32_t s32;
 
+#ifndef UINT32_MAX
+#define UINT32_MAX (4294967295U)
+#endif
+#ifndef UINT64_MAX
+# define UINT64_MAX (18446744073709551615ULL)
+#endif
+#ifndef UINT64_C
+#define UINT64_C(c) c ## ULL
+#endif
+#ifndef PRIu64
+#define PRIu64 "llu"
+#endif
 
 #undef __HAVE_LONG_LONG__