Index: boot/genarch/include/ofw.h
===================================================================
--- boot/genarch/include/ofw.h	(revision c7afcba76e708cf38d10579d974d0c53a673c609)
+++ boot/genarch/include/ofw.h	(revision b4d08a4998b6c0f63a4c0991d02110916baf536d)
@@ -30,5 +30,5 @@
 #define BOOT_OFW_H_
 
-#include <typedefs.h>
+#include <stddef.h>
 #include <stdarg.h>
 
Index: boot/genarch/include/ofw_tree.h
===================================================================
--- boot/genarch/include/ofw_tree.h	(revision c7afcba76e708cf38d10579d974d0c53a673c609)
+++ boot/genarch/include/ofw_tree.h	(revision b4d08a4998b6c0f63a4c0991d02110916baf536d)
@@ -30,5 +30,5 @@
 #define BOOT_OFW_TREE_H_
 
-#include <typedefs.h>
+#include <stddef.h>
 #include <genarch/ofw.h>