Index: kernel/genarch/src/ofw/ebus.c
===================================================================
--- kernel/genarch/src/ofw/ebus.c	(revision 5d9d9a957b7eaab3847725aecf1eb136cea17876)
+++ kernel/genarch/src/ofw/ebus.c	(revision 16da5f8ea9ab37e2cfa254399004c4e82b09001c)
@@ -39,5 +39,5 @@
 #include <arch/memstr.h>
 #include <arch/trap/interrupt.h>
-#include <func.h>
+#include <string.h>
 #include <panic.h>
 #include <debug.h>
Index: kernel/genarch/src/ofw/fhc.c
===================================================================
--- kernel/genarch/src/ofw/fhc.c	(revision 5d9d9a957b7eaab3847725aecf1eb136cea17876)
+++ kernel/genarch/src/ofw/fhc.c	(revision 16da5f8ea9ab37e2cfa254399004c4e82b09001c)
@@ -39,5 +39,5 @@
 #include <arch/drivers/fhc.h>
 #include <arch/memstr.h>
-#include <func.h>
+#include <string.h>
 #include <panic.h>
 #include <macros.h>
Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision 5d9d9a957b7eaab3847725aecf1eb136cea17876)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision 16da5f8ea9ab37e2cfa254399004c4e82b09001c)
@@ -39,5 +39,5 @@
 #include <arch/memstr.h>
 #include <mm/slab.h>
-#include <func.h>
+#include <string.h>
 #include <print.h>
 #include <panic.h>
Index: kernel/genarch/src/ofw/pci.c
===================================================================
--- kernel/genarch/src/ofw/pci.c	(revision 5d9d9a957b7eaab3847725aecf1eb136cea17876)
+++ kernel/genarch/src/ofw/pci.c	(revision 16da5f8ea9ab37e2cfa254399004c4e82b09001c)
@@ -40,5 +40,5 @@
 #include <arch/trap/interrupt.h>
 #include <arch/memstr.h>
-#include <func.h>
+#include <string.h>
 #include <panic.h>
 #include <macros.h>