Index: kernel/genarch/src/drivers/pl050/pl050.c
===================================================================
--- kernel/genarch/src/drivers/pl050/pl050.c	(revision 11b285d87da6e1d6a1d65134694b4f971f3cdebc)
+++ kernel/genarch/src/drivers/pl050/pl050.c	(revision 9b8be79e64f6d9051bd3e81c8c2f91ff32bb499f)
@@ -111,5 +111,4 @@
 }
 
-
 /** @}
  */