diff --git a/arch/arm/arm-v7a/common/include/tos_cpu_types.h b/arch/arm/arm-v7a/common/include/tos_cpu_types.h
index 1dd7769c..8ee05361 100644
--- a/arch/arm/arm-v7a/common/include/tos_cpu_types.h
+++ b/arch/arm/arm-v7a/common/include/tos_cpu_types.h
@@ -17,7 +17,7 @@
 
 #ifndef _TOS_CPU_TYPES_H_
 #define  _TOS_CPU_TYPES_H_
-#include <stdint.h>
+
 /* CPU address type based on address bus size.          */
 #if     (TOS_CFG_CPU_ADDR_SIZE == CPU_WORD_SIZE_32)
 typedef uint32_t    cpu_addr_t;
diff --git a/kernel/core/include/tos_k.h b/kernel/core/include/tos_k.h
index 38249227..0705b449 100644
--- a/kernel/core/include/tos_k.h
+++ b/kernel/core/include/tos_k.h
@@ -25,8 +25,8 @@
 #include <tos_config_default.h>
 #include <port_config.h>
 #include <tos_config_check.h>
-#include <tos_cpu_types.h>
 #include <tos_ktypes.h>
+#include <tos_cpu_types.h>
 #include <port.h>
 #include <tos_cpu.h>
 #include <tos_fault.h>