Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision 82b71ef11d249b753e957080f4ee91adb9dc570d)
+++ kernel/generic/include/typedefs.h	(revision 32443b0b118c5c83d2c933b59a696bad00c9c1ca)
@@ -36,4 +36,6 @@
 #define KERN_TYPEDEFS_H_
 
+#include <arch/types.h>
+
 #define NULL 0
 #define false 0