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