Index: kernel/arch/ia32/src/boot/cboot.c
===================================================================
--- kernel/arch/ia32/src/boot/cboot.c	(revision 0f94c3d5de72d78a731147c9a1063270222411f2)
+++ kernel/arch/ia32/src/boot/cboot.c	(revision 16da5f8ea9ab37e2cfa254399004c4e82b09001c)
@@ -39,5 +39,5 @@
 #include <config.h>
 #include <memstr.h>
-#include <func.h>
+#include <string.h>
 
 /* This is a symbol so the type is only dummy. Obtain the value using &. */