Index: boot/arch/arm32/src/main.c
===================================================================
--- boot/arch/arm32/src/main.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ boot/arch/arm32/src/main.c	(revision 3f7fe9e91d327467121a08ebb9f0aca902ff737a)
@@ -35,4 +35,5 @@
 
 #include <arch/main.h>
+#include <arch/types.h>
 #include <arch/asm.h>
 #include <arch/mm.h>
Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ boot/arch/arm32/src/mm.c	(revision 3f7fe9e91d327467121a08ebb9f0aca902ff737a)
@@ -38,4 +38,5 @@
 #include <arch/mm.h>
 #include <arch/cp15.h>
+#include <arch/types.h>
 
 #ifdef PROCESSOR_ARCH_armv7_a