Index: kernel/genarch/src/ofw/ebus.c
===================================================================
--- kernel/genarch/src/ofw/ebus.c	(revision e731b0db7a19a49197d3ed700a60c8131857f598)
+++ kernel/genarch/src/ofw/ebus.c	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -40,5 +40,5 @@
 #include <genarch/ofw/pci.h>
 #include <arch/memstr.h>
-#include <string.h>
+#include <str.h>
 #include <panic.h>
 #include <debug.h>
Index: kernel/genarch/src/ofw/fhc.c
===================================================================
--- kernel/genarch/src/ofw/fhc.c	(revision e731b0db7a19a49197d3ed700a60c8131857f598)
+++ kernel/genarch/src/ofw/fhc.c	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -40,5 +40,5 @@
 #include <arch/drivers/fhc.h>
 #include <arch/memstr.h>
-#include <string.h>
+#include <str.h>
 #include <panic.h>
 #include <macros.h>
Index: kernel/genarch/src/ofw/ofw_tree.c
===================================================================
--- kernel/genarch/src/ofw/ofw_tree.c	(revision e731b0db7a19a49197d3ed700a60c8131857f598)
+++ kernel/genarch/src/ofw/ofw_tree.c	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -39,5 +39,5 @@
 #include <arch/memstr.h>
 #include <mm/slab.h>
-#include <string.h>
+#include <str.h>
 #include <panic.h>
 #include <print.h>
Index: kernel/genarch/src/ofw/pci.c
===================================================================
--- kernel/genarch/src/ofw/pci.c	(revision e731b0db7a19a49197d3ed700a60c8131857f598)
+++ kernel/genarch/src/ofw/pci.c	(revision 5814ef7188cf75fcd57922f03a3bde3d4c78975f)
@@ -41,10 +41,10 @@
 #include <arch/trap/interrupt.h>
 #include <arch/memstr.h>
-#include <string.h>
+#include <str.h>
 #include <panic.h>
 #include <macros.h>
 
 #define PCI_SPACE_MASK		0x03000000
-#define PCI_ABS_MASK		0x80000000	
+#define PCI_ABS_MASK		0x80000000
 #define PCI_REG_MASK		0x000000ff
 
