Index: kernel/arch/ia32/include/arch/asm.h
===================================================================
--- kernel/arch/ia32/include/arch/asm.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/ia32/include/arch/asm.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -348,5 +348,4 @@
 
 #endif /* PROCESSOR_i486 */
-
 
 /** Return base address of current stack
Index: kernel/arch/ia32/include/arch/context_struct.h
===================================================================
--- kernel/arch/ia32/include/arch/context_struct.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/ia32/include/arch/context_struct.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -58,3 +58,2 @@
 #endif
 #endif
-
Index: kernel/arch/ia32/include/arch/istate_struct.h
===================================================================
--- kernel/arch/ia32/include/arch/istate_struct.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/ia32/include/arch/istate_struct.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -108,3 +108,2 @@
 #endif
 #endif
-
Index: kernel/arch/ia32/include/arch/smp/apic.h
===================================================================
--- kernel/arch/ia32/include/arch/smp/apic.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/ia32/include/arch/smp/apic.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -337,5 +337,4 @@
 } __attribute__((packed)) io_redirection_reg_t;
 
-
 /** IO APIC Identification Register. */
 typedef union {
Index: kernel/arch/ia32/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia32/src/cpu/cpu.c	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/ia32/src/cpu/cpu.c	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -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 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/ia32/src/smc.c	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -33,3 +33,2 @@
 	compiler_barrier();
 }
-