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 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -111,5 +111,4 @@
 }
 
-
 /** @}
  */