Index: boot/arch/mips32/src/putchar.c
===================================================================
--- boot/arch/mips32/src/putchar.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/arch/mips32/src/putchar.c	(revision 5f53428ace17fe775b4d10c50bd94becc2cae73e)
@@ -28,4 +28,5 @@
 
 #include <stddef.h>
+#include <stdint.h>
 #include <arch/arch.h>
 #include <putchar.h>