Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision bae43dceb647887d723d7a5e7253c545ad767440)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 2e4343bb577304bd2bb9c0c4825438035b24ac6f)
@@ -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 bae43dceb647887d723d7a5e7253c545ad767440)
+++ kernel/arch/ia32/src/mm/page.c	(revision 2e4343bb577304bd2bb9c0c4825438035b24ac6f)
@@ -46,5 +46,4 @@
 #include <arch/asm.h>
 #include <debug.h>
-#include <print.h>
 #include <interrupt.h>
 #include <macros.h>