Index: kernel/arch/arm32/include/arch/context_struct.h
===================================================================
--- kernel/arch/arm32/include/arch/context_struct.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/context_struct.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -55,3 +55,2 @@
 
 #endif
-
Index: kernel/arch/arm32/include/arch/cp15.h
===================================================================
--- kernel/arch/arm32/include/arch/cp15.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/cp15.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -584,5 +584,4 @@
 CONTROL_REG_GEN_WRITE(PMCCNTR, c9, 0, c13, 0);
 
-
 /*c10 has tons of reserved too */
 CONTROL_REG_GEN_READ(PRRR, c10, 0, c2, 0); /* no PAE */
Index: kernel/arch/arm32/include/arch/istate_struct.h
===================================================================
--- kernel/arch/arm32/include/arch/istate_struct.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/istate_struct.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -56,3 +56,2 @@
 
 #endif
-
Index: kernel/arch/arm32/include/arch/mach/beagleboardxm/beagleboardxm.h
===================================================================
--- kernel/arch/arm32/include/arch/mach/beagleboardxm/beagleboardxm.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/mach/beagleboardxm/beagleboardxm.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -46,3 +46,2 @@
 /** @}
  */
-
Index: kernel/arch/arm32/include/arch/mach/beaglebone/beaglebone.h
===================================================================
--- kernel/arch/arm32/include/arch/mach/beaglebone/beaglebone.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/mach/beaglebone/beaglebone.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -46,3 +46,2 @@
 /** @}
  */
-
Index: kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -97,5 +97,4 @@
 } icp_hw_map_t;
 
-
 extern void icp_init(void);
 extern void icp_output_init(void);
Index: kernel/arch/arm32/include/arch/machine_func.h
===================================================================
--- kernel/arch/arm32/include/arch/machine_func.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/machine_func.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -68,8 +68,6 @@
 extern void machine_init(void);
 
-
 /** Starts timer. */
 extern void machine_timer_irq_start(void);
-
 
 /** Halts CPU. */
@@ -89,5 +87,4 @@
  */
 extern void machine_irq_exception(unsigned int exc_no, istate_t *istate);
-
 
 /*
Index: kernel/arch/arm32/include/arch/mm/page.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/mm/page.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -131,5 +131,4 @@
 	set_pt_level1_present((pte_t *) (ptl3), (size_t) (i))
 
-
 #define pt_coherence(page) pt_coherence_m(page, 1)
 
Index: kernel/arch/arm32/include/arch/mm/page_armv4.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_armv4.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/mm/page_armv4.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -113,5 +113,4 @@
 #define PTE_AP_USER_RW_KERNEL_RW	3
 
-
 /* pte_level0_t and pte_level1_t descriptor_type flags */
 
@@ -195,5 +194,4 @@
 	}
 }
-
 
 /** Sets flags of level 1 page table entry.
@@ -247,5 +245,4 @@
 }
 
-
 NO_TRACE static inline void set_pt_level1_present(pte_t *pt, size_t i)
 {
@@ -255,8 +252,6 @@
 }
 
-
 extern void page_arch_init(void);
 
-
 #endif /* __ASSEMBLER__ */
 
Index: kernel/arch/arm32/include/arch/mm/page_armv6.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/mm/page_armv6.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -40,5 +40,4 @@
 #error "Do not include arch specific page.h directly use generic page.h instead"
 #endif
-
 
 /* Macros for querying the last-level PTE entries. */
@@ -112,5 +111,4 @@
 #define PTE_AP1_RO   1
 
-
 /* pte_level0_t and pte_level1_t descriptor_type flags */
 
@@ -126,5 +124,4 @@
 /** pte_level1_t small page table flag with NX (used in descriptor type). */
 #define PTE_DESCRIPTOR_SMALL_PAGE_NX	3
-
 
 /**
@@ -230,5 +227,4 @@
 	pt_coherence(p);
 }
-
 
 /** Sets flags of level 1 page table entry.
@@ -319,5 +315,4 @@
 }
 
-
 extern void page_arch_init(void);
 
Index: kernel/arch/arm32/include/arch/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 4621d2311994bf63dea425ed923239d4ca1babc9)
+++ kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 7570a95fbe39d85de25c810a36eb504d2e33eb6d)
@@ -39,5 +39,4 @@
 #include <stdint.h>
 
-
 /** Decribes CP15 "fault status register" (FSR).
  *
@@ -71,5 +70,4 @@
 } fault_status_t;
 
-
 /** Simplified description of instruction code.
  *
@@ -88,5 +86,4 @@
 } ATTRIBUTE_PACKED instruction_t;
 
-
 /** Help union used for casting pc register (uint_32_t) value into
  *  #instruction_t pointer.