Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 7c3fb9bd77e4d2f6c10517a052e567f176fa91ee)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision cc74cb5c5f69f9cd7b915a29908ded2daedb158d)
@@ -60,5 +60,4 @@
 static unsigned dcache_linesize_log(unsigned level);
 
-
 /** Implementers (vendor) names */
 static const char *implementer(unsigned id)
@@ -99,5 +98,4 @@
 		return arch_data[0];
 }
-
 
 /** Retrieves processor identification from CP15 register 0.
@@ -317,5 +315,4 @@
 }
 
-
 void cpu_dcache_flush(void)
 {