Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 739d00a5a284b6a2bd289fe1fd2395c3788b094d)
@@ -57,5 +57,5 @@
 
 /** Length of the #imp_data array */
-static int imp_data_length = sizeof(imp_data) / sizeof(char *);
+static unsigned int imp_data_length = sizeof(imp_data) / sizeof(char *);
 
 /** Architecture names */
@@ -72,5 +72,5 @@
 
 /** Length of the #arch_data array */
-static int arch_data_length = sizeof(arch_data) / sizeof(char *);
+static unsigned int arch_data_length = sizeof(arch_data) / sizeof(char *);