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 0b49d4e8fd3d9501fbccd197d8c91796bef7838b)
@@ -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