Index: kernel/arch/arm32/include/arch/cp15.h
===================================================================
--- kernel/arch/arm32/include/arch/cp15.h	(revision faec9fcf6d6ce1da46539add306ad67172521c0e)
+++ kernel/arch/arm32/include/arch/cp15.h	(revision 5e3fa9dbfffc978cdcfdaaea9fc6a50dbb0bca1a)
@@ -37,4 +37,9 @@
 #define KERN_arm32_CP15_H_
 
+#if defined(KERNEL) || defined(BOOT)
+#include <typedefs.h>
+#else
+#include <sys/types.h>
+#endif
 
 /** See ARM Architecture reference manual ch. B3.17.1 page B3-1456