Index: kernel/arch/ia32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia32/src/cpu/cpu.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/ia32/src/cpu/cpu.c	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -56,5 +56,4 @@
 #define INTEL_CPUID_ECX  UINT32_C(0x6c65746e)
 #define INTEL_CPUID_EDX  UINT32_C(0x49656e69)
-
 
 enum vendor {
Index: kernel/arch/ia32/src/smc.c
===================================================================
--- kernel/arch/ia32/src/smc.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/ia32/src/smc.c	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -33,3 +33,2 @@
 	compiler_barrier();
 }
-