Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -65,5 +65,4 @@
 	"GenuineIntel"
 };
-
 
 /** Setup flags on processor so that we can use the FPU