Index: kernel/arch/abs32le/src/cpu/cpu.c
===================================================================
--- kernel/arch/abs32le/src/cpu/cpu.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/arch/abs32le/src/cpu/cpu.c	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -39,5 +39,4 @@
 #include <fpu_context.h>
 
-
 void fpu_disable(void)
 {