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