Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision 6f587701a6fc5c00b54d6172505b54c617e22f9e)
@@ -65,5 +65,4 @@
 	"GenuineIntel"
 };
-
 
 /** Setup flags on processor so that we can use the FPU
Index: kernel/arch/amd64/src/smc.c
===================================================================
--- kernel/arch/amd64/src/smc.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/amd64/src/smc.c	(revision 6f587701a6fc5c00b54d6172505b54c617e22f9e)
@@ -33,3 +33,2 @@
 	compiler_barrier();
 }
-