Index: kernel/genarch/include/genarch/fb/bfb.h
===================================================================
--- kernel/genarch/include/genarch/fb/bfb.h	(revision 9abe2e5367e0d71b259840713b8cf79d80d97fc6)
+++ kernel/genarch/include/genarch/fb/bfb.h	(revision 4646710d9ea7943ec02c77020e7b60258fd30d8b)
@@ -36,4 +36,5 @@
 #define KERN_BFB_H_
 
+#include <stdbool.h>
 #include <typedefs.h>
 
Index: kernel/genarch/include/genarch/ofw/ofw_tree.h
===================================================================
--- kernel/genarch/include/genarch/ofw/ofw_tree.h	(revision 9abe2e5367e0d71b259840713b8cf79d80d97fc6)
+++ kernel/genarch/include/genarch/ofw/ofw_tree.h	(revision 4646710d9ea7943ec02c77020e7b60258fd30d8b)
@@ -30,4 +30,5 @@
 #define KERN_OFW_TREE_H_
 
+#include <stdbool.h>
 #include <typedefs.h>