Index: kernel/genarch/include/ofw/fhc.h
===================================================================
--- kernel/genarch/include/ofw/fhc.h	(revision 824d6dddcd9e05937c7f5d5ce284d4d07c63718b)
+++ kernel/genarch/include/ofw/fhc.h	(revision 1faa99588d67fde7acd1feca06054788f42aff4e)
@@ -31,5 +31,5 @@
 
 #include <genarch/ofw/ofw_tree.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <ddi/irq.h>
 #include <typedefs.h>