Index: boot/generic/include/putchar.h
===================================================================
--- boot/generic/include/putchar.h	(revision d735e2e934b8d024cd14b4f088821f9d2649e913)
+++ boot/generic/include/putchar.h	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
@@ -36,4 +36,6 @@
 #define BOOT_PUTCHAR_H_
 
+#include <stddef.h>
+
 extern void putchar(const wchar_t);
 
Index: boot/generic/include/stddef.h
===================================================================
--- boot/generic/include/stddef.h	(revision d735e2e934b8d024cd14b4f088821f9d2649e913)
+++ boot/generic/include/stddef.h	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
@@ -33,5 +33,4 @@
 #define BOOT_STDDEF_H_
 
-#include <stdint.h>
 #include <arch/common.h>
 #include <arch/types.h>
Index: boot/generic/include/stdint.h
===================================================================
--- boot/generic/include/stdint.h	(revision d735e2e934b8d024cd14b4f088821f9d2649e913)
+++ boot/generic/include/stdint.h	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
@@ -33,4 +33,7 @@
 #define BOOT_STDINT_H_
 
+#include <arch/common.h>
+#include <arch/types.h>
+
 #define INT8_MIN  INT8_C(0x80)
 #define INT8_MAX  INT8_C(0x7F)