Index: kernel/arch/abs32le/src/cpu/cpu.c
===================================================================
--- kernel/arch/abs32le/src/cpu/cpu.c	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/abs32le/src/cpu/cpu.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -39,5 +39,4 @@
 #include <fpu_context.h>
 
-
 void fpu_disable(void)
 {
Index: kernel/arch/abs32le/src/smc.c
===================================================================
--- kernel/arch/abs32le/src/smc.c	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/abs32le/src/smc.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -33,3 +33,2 @@
 	compiler_barrier();
 }
-