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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -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 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -78,5 +78,4 @@
 #define UFCON_FIFO_ENABLE		0x01
 
-
 /** S3C24xx UART instance */
 typedef struct {