Index: kernel/arch/arm32/src/arm32.c
===================================================================
--- kernel/arch/arm32/src/arm32.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/arm32/src/arm32.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -41,5 +41,4 @@
 #include <console/console.h>
 #include <ddi/irq.h>
-#include <print.h>
 #include <config.h>
 #include <interrupt.h>
Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -39,5 +39,5 @@
 #include <cpu.h>
 #include <arch.h>
-#include <print.h>
+#include <stdio.h>
 
 #ifdef CONFIG_FPU
Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/arm32/src/exception.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -41,5 +41,5 @@
 #include <arch/cp15.h>
 #include <barrier.h>
-#include <print.h>
+#include <stdio.h>
 #include <syscall/syscall.h>
 #include <stacktrace.h>
Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 482f968b8b53156bb4454e6c369c1e92dc426ea9)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
@@ -41,5 +41,4 @@
 #include <arch.h>
 #include <interrupt.h>
-#include <print.h>
 
 /**