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 c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -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 c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -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 c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -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 c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -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 c74b9de1187f3b60a7db1aad1e1fcd51ae134f24)
@@ -40,6 +40,4 @@
 #include <arch/asm.h>
 
-#include <print.h>
-
 extern void syscall_entry(void);