Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision d735e2e934b8d024cd14b4f088821f9d2649e913)
+++ boot/arch/arm32/src/mm.c	(revision 7a995075ee9ad9adbfafd2610997bc6f56b8916e)
@@ -34,5 +34,5 @@
  */
 
-#include <stddef.h>
+#include <stdint.h>
 #include <arch/asm.h>
 #include <arch/mm.h>
Index: boot/arch/arm32/src/putchar.c
===================================================================
--- boot/arch/arm32/src/putchar.c	(revision d735e2e934b8d024cd14b4f088821f9d2649e913)
+++ boot/arch/arm32/src/putchar.c	(revision 7a995075ee9ad9adbfafd2610997bc6f56b8916e)
@@ -36,7 +36,8 @@
  */
 
-#include <stddef.h>
 #include <arch/main.h>
 #include <putchar.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <str.h>