Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 93d8022e9ee8dcf2dc81eb3c64004042947f578c)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision e3f819f43b108ff90a50324cbced9c2b89d2171e)
@@ -62,13 +62,19 @@
 
 /** Implementers (vendor) names */
-static const char * implementer(unsigned id)
+static const char *implementer(unsigned id)
 {
 	switch (id) {
-	case 0x41: return "ARM Limited";
-	case 0x44: return "Digital Equipment Corporation";
-	case 0x4d: return "Motorola, Freescale Semiconductor Inc.";
-	case 0x51: return "Qualcomm Inc.";
-	case 0x56: return "Marvell Semiconductor Inc.";
-	case 0x69: return "Intel Corporation";
+	case 0x41:
+		return "ARM Limited";
+	case 0x44:
+		return "Digital Equipment Corporation";
+	case 0x4d:
+		return "Motorola, Freescale Semiconductor Inc.";
+	case 0x51:
+		return "Qualcomm Inc.";
+	case 0x56:
+		return "Marvell Semiconductor Inc.";
+	case 0x69:
+		return "Intel Corporation";
 	}
 	return "Unknown implementer";
@@ -76,5 +82,5 @@
 
 /** Architecture names */
-static const char * architecture_string(cpu_arch_t *arch)
+static const char *architecture_string(cpu_arch_t *arch)
 {
 	static const char *arch_data[] = {