Index: kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision b56481c2418e00a24a67d87af75bece43763f37e)
+++ kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision 68c2e322fe139c566807fa33bbdd12c28034efa7)
@@ -147,5 +147,4 @@
 }
 
-
 static inline void amdm37x_irc_init(amdm37x_irc_regs_t *regs)
 {