Index: kernel/arch/arm32/include/arch/cp15.h
===================================================================
--- kernel/arch/arm32/include/arch/cp15.h	(revision 6a8ddd3712c234be2a222a7dc9d7803bc9c667b0)
+++ kernel/arch/arm32/include/arch/cp15.h	(revision 1619faa28e6911344d7aea822650ebf41044c395)
@@ -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