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 de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -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 de1712e4e19c9ccc82703e05e5f4805fdb28a75b)
@@ -30,4 +30,5 @@
 #define KERN_OFW_TREE_H_
 
+#include <stdbool.h>
 #include <typedefs.h>