Index: kernel/genarch/include/genarch/drivers/am335x/cm_dpll.h
===================================================================
--- kernel/genarch/include/genarch/drivers/am335x/cm_dpll.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/am335x/cm_dpll.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -79,3 +79,2 @@
  * @}
  */
-
Index: kernel/genarch/include/genarch/drivers/am335x/cm_per.h
===================================================================
--- kernel/genarch/include/genarch/drivers/am335x/cm_per.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/am335x/cm_per.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -86,3 +86,2 @@
  * @}
  */
-
Index: kernel/genarch/include/genarch/drivers/am335x/timer.h
===================================================================
--- kernel/genarch/include/genarch/drivers/am335x/timer.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/am335x/timer.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -92,5 +92,4 @@
 extern void am335x_timer_stop(am335x_timer_t *timer);
 
-
 #endif
 
@@ -98,3 +97,2 @@
  * @}
  */
-
Index: kernel/genarch/include/genarch/drivers/am335x/timer_regs.h
===================================================================
--- kernel/genarch/include/genarch/drivers/am335x/timer_regs.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/am335x/timer_regs.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -159,3 +159,2 @@
  * @}
  */
-
Index: kernel/genarch/include/genarch/drivers/am335x/uart.h
===================================================================
--- kernel/genarch/include/genarch/drivers/am335x/uart.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/am335x/uart.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -68,3 +68,2 @@
  * @}
  */
-
Index: kernel/genarch/include/genarch/drivers/amdm37x/gpt.h
===================================================================
--- kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/amdm37x/gpt.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -77,5 +77,4 @@
 #define AMDM37x_GPT11_IRQ  47
 
-
 /** GPT register map AMDM37x TRM p. 2740 */
 typedef struct {
Index: kernel/genarch/include/genarch/drivers/bcm2835/timer.h
===================================================================
--- kernel/genarch/include/genarch/drivers/bcm2835/timer.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/bcm2835/timer.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -64,5 +64,4 @@
 } bcm2835_timer_t;
 
-
 static inline void bcm2835_timer_start(bcm2835_timer_t *timer)
 {
Index: kernel/genarch/include/genarch/drivers/omap/uart.h
===================================================================
--- kernel/genarch/include/genarch/drivers/omap/uart.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/omap/uart.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -56,3 +56,2 @@
  * @}
  */
-
Index: kernel/genarch/include/genarch/drivers/omap/uart_regs.h
===================================================================
--- kernel/genarch/include/genarch/drivers/omap/uart_regs.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/omap/uart_regs.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -159,5 +159,4 @@
 #define OMAP_UART_LCR_DIV_EN_FLAG   (1 << 7)
 
-
 	union {
 		/** Modem control register */
Index: kernel/genarch/include/genarch/drivers/pl050/pl050.h
===================================================================
--- kernel/genarch/include/genarch/drivers/pl050/pl050.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/pl050/pl050.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -44,5 +44,4 @@
 #include <console/chardev.h>
 #include <typedefs.h>
-
 
 /*
@@ -98,5 +97,4 @@
 extern void pl050_wire(pl050_instance_t *, indev_t *);
 
-
 #endif
 
Index: kernel/genarch/include/genarch/drivers/s3c24xx/uart.h
===================================================================
--- kernel/genarch/include/genarch/drivers/s3c24xx/uart.h	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/include/genarch/drivers/s3c24xx/uart.h	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -78,5 +78,4 @@
 #define UFCON_FIFO_ENABLE		0x01
 
-
 /** S3C24xx UART instance */
 typedef struct {
Index: kernel/genarch/src/drivers/am335x/timer.c
===================================================================
--- kernel/genarch/src/drivers/am335x/timer.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/drivers/am335x/timer.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -180,3 +180,2 @@
  * @}
  */
-
Index: kernel/genarch/src/drivers/omap/uart.c
===================================================================
--- kernel/genarch/src/drivers/omap/uart.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/drivers/omap/uart.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -187,3 +187,2 @@
  * @}
  */
-
Index: kernel/genarch/src/drivers/pl011/pl011.c
===================================================================
--- kernel/genarch/src/drivers/pl011/pl011.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/drivers/pl011/pl011.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -149,3 +149,2 @@
 /** @}
  */
-
Index: kernel/genarch/src/drivers/pl050/pl050.c
===================================================================
--- kernel/genarch/src/drivers/pl050/pl050.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/drivers/pl050/pl050.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -111,5 +111,4 @@
 }
 
-
 /** @}
  */
Index: kernel/genarch/src/drivers/via-cuda/cuda.c
===================================================================
--- kernel/genarch/src/drivers/via-cuda/cuda.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/drivers/via-cuda/cuda.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -366,5 +366,4 @@
 }
 
-
 /** @}
  */
Index: kernel/genarch/src/kbrd/scanc_at.c
===================================================================
--- kernel/genarch/src/kbrd/scanc_at.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/kbrd/scanc_at.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -37,5 +37,4 @@
 #include <typedefs.h>
 #include <str.h>
-
 
 /** Primary meaning of scancodes. */
Index: kernel/genarch/src/mm/as_ht.c
===================================================================
--- kernel/genarch/src/mm/as_ht.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/mm/as_ht.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -60,5 +60,4 @@
 	.page_table_locked = ht_locked,
 };
-
 
 /** Page hash table create.
Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/genarch/src/softint/division.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
@@ -232,6 +232,4 @@
 }
 
-
-
 /** @}
  */