diff --git a/src/include/cpu/generic/i386/arch/stdint.h b/src/include/cpu/generic/i386/arch/types.h
similarity index 55%
rename from src/include/cpu/generic/i386/arch/stdint.h
rename to src/include/cpu/generic/i386/arch/types.h
index e2c2ea2d62..b9f7c9b642 100644
--- a/src/include/cpu/generic/i386/arch/stdint.h
+++ b/src/include/cpu/generic/i386/arch/types.h
@@ -1,5 +1,6 @@
 /* data types */
-typedef unsigned long u32;
+typedef unsigned long long u64;
+typedef unsigned int u32;
 typedef unsigned short u16;
 typedef unsigned char u8;