Index: kernel/arch/ia32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia32/src/cpu/cpu.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia32/src/cpu/cpu.c	(revision cdf6066f21385be78f0b5bbfbdde1d1c20cbed4a)
@@ -39,5 +39,5 @@
 #include <arch.h>
 #include <stdint.h>
-#include <print.h>
+#include <stdio.h>
 #include <fpu_context.h>
 
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia32/src/interrupt.c	(revision cdf6066f21385be78f0b5bbfbdde1d1c20cbed4a)
@@ -36,5 +36,5 @@
 #include <assert.h>
 #include <syscall/syscall.h>
-#include <print.h>
+#include <stdio.h>
 #include <debug.h>
 #include <panic.h>
Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia32/src/mm/frame.c	(revision cdf6066f21385be78f0b5bbfbdde1d1c20cbed4a)
@@ -44,5 +44,5 @@
 #include <align.h>
 #include <macros.h>
-#include <print.h>
+#include <stdio.h>
 
 #define PHYSMEM_LIMIT32  UINT64_C(0x100000000)
Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/ia32/src/mm/page.c	(revision cdf6066f21385be78f0b5bbfbdde1d1c20cbed4a)
@@ -46,5 +46,4 @@
 #include <arch/asm.h>
 #include <debug.h>
-#include <print.h>
 #include <interrupt.h>
 #include <macros.h>