Index: boot/generic/src/inflate.c
===================================================================
--- boot/generic/src/inflate.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/generic/src/inflate.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
@@ -65,4 +65,5 @@
  */
 
+#include <stdbool.h>
 #include <stddef.h>
 #include <errno.h>
Index: boot/generic/src/printf_core.c
===================================================================
--- boot/generic/src/printf_core.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/generic/src/printf_core.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
@@ -37,4 +37,6 @@
 #include <printf.h>
 #include <stdarg.h>
+#include <stdbool.h>
+#include <stddef.h>
 #include <macros.h>
 #include <str.h>
Index: boot/generic/src/str.c
===================================================================
--- boot/generic/src/str.c	(revision de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
+++ boot/generic/src/str.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
@@ -98,6 +98,8 @@
  */
 
+#include <errno.h>
+#include <stdbool.h>
+#include <stddef.h>
 #include <str.h>
-#include <errno.h>
 
 /** Check the condition if wchar_t is signed */