Index: kernel/generic/src/debug/debug.c
===================================================================
--- kernel/generic/src/debug/debug.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/debug/debug.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -41,5 +41,5 @@
 #include <symtab.h>
 #include <errno.h>
-#include <print.h>
+#include <stdio.h>
 
 void __cyg_profile_func_enter(void *fn, void *call_site)
Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/debug/panic.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -34,5 +34,5 @@
 
 #include <panic.h>
-#include <print.h>
+#include <stdio.h>
 #include <stacktrace.h>
 #include <halt.h>
Index: kernel/generic/src/debug/stacktrace.c
===================================================================
--- kernel/generic/src/debug/stacktrace.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/debug/stacktrace.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -37,5 +37,5 @@
 #include <interrupt.h>
 #include <symtab.h>
-#include <print.h>
+#include <stdio.h>
 
 #define STACK_FRAMES_MAX  20
Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/debug/symtab.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -39,5 +39,5 @@
 #include <byteorder.h>
 #include <str.h>
-#include <print.h>
+#include <stdio.h>
 #include <typedefs.h>
 #include <errno.h>