fix stdint.h

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;

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>