diff --git a/src/system/kernel/arch/arm/arch_cpu.cpp b/src/system/kernel/arch/arm/arch_cpu.cpp
index ed953b2c23..49bcd81550 100644
--- a/src/system/kernel/arch/arm/arch_cpu.cpp
+++ b/src/system/kernel/arch/arm/arch_cpu.cpp
@@ -12,8 +12,6 @@
 
 #include <KernelExport.h>
 
-//#include <arch_platform.h>
-#include <arch_thread.h>
 #include <arch/cpu.h>
 #include <boot/kernel_args.h>
 #include <commpage.h>
diff --git a/src/system/kernel/arch/arm/arch_thread.cpp b/src/system/kernel/arch/arm/arch_thread.cpp
index d97f15eb16..46e63f58c1 100644
--- a/src/system/kernel/arch/arm/arch_thread.cpp
+++ b/src/system/kernel/arch/arm/arch_thread.cpp
@@ -12,6 +12,7 @@
  */
 
 
+#include <thread.h>
 #include <arch_thread.h>
 
 #include <arch_cpu.h>