Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 28f81d21b72a50937dbe859ee4068d0920861718)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 04cb6957dc283940ca49fb7fa71d84ccfcd446bd)
@@ -43,5 +43,5 @@
 #define IMP_DATA_START_OFFSET 0x40
 
-/** Implementators (vendor) names */
+/** Implementors (vendor) names */
 static const char *imp_data[] = {
 	"?",                                     /* IMP_DATA_START_OFFSET */
@@ -61,5 +61,5 @@
 
 /** Length of the #imp_data array */
-static unsigned int imp_data_length = sizeof(imp_data) / sizeof(char *);
+static const unsigned int imp_data_length = sizeof(imp_data) / sizeof(char *);
 
 /** Architecture names */
@@ -76,9 +76,9 @@
 
 /** Length of the #arch_data array */
-static unsigned int arch_data_length = sizeof(arch_data) / sizeof(char *);
+static const unsigned int arch_data_length = sizeof(arch_data) / sizeof(char *);
 
 
 /** Retrieves processor identification from CP15 register 0.
- * 
+ *
  * @param cpu Structure for storing CPU identification.
  */
@@ -213,5 +213,5 @@
 	}
 
-	printf("cpu%d: vendor=%s, architecture=ARM%s, part number=%x, "
+	printf("cpu%d: vendor=%s, architecture=ARMv%s, part number=%x, "
 	    "variant=%x, revision=%x\n",
 	    m->id, vendor, architecture, cpu_arch->prim_part_num,