Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -39,5 +39,5 @@
 
 #include <arch.h>
-#include <print.h>
+#include <stdio.h>
 #include <fpu_context.h>
 
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/amd64/src/interrupt.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -35,5 +35,4 @@
 #include <arch/interrupt.h>
 #include <assert.h>
-#include <print.h>
 #include <log.h>
 #include <panic.h>
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/amd64/src/mm/page.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -42,5 +42,4 @@
 #include <config.h>
 #include <interrupt.h>
-#include <print.h>
 #include <panic.h>
 #include <align.h>
Index: kernel/arch/amd64/src/proc/scheduler.c
===================================================================
--- kernel/arch/amd64/src/proc/scheduler.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/amd64/src/proc/scheduler.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -39,5 +39,4 @@
 #include <arch.h>
 #include <arch/asm.h>
-#include <print.h>
 #include <arch/pm.h>
 #include <arch/ddi/ddi.h>
Index: kernel/arch/amd64/src/syscall.c
===================================================================
--- kernel/arch/amd64/src/syscall.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/amd64/src/syscall.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -40,6 +40,4 @@
 #include <arch/asm.h>
 
-#include <print.h>
-
 extern void syscall_entry(void);