Index: kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h	(revision cc250b3af35039f28df79b2120b0af9079f5966c)
+++ kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h	(revision 7290ca0c7924417e4d8915bf1601248a8ffc3a0f)
@@ -324,5 +324,5 @@
 	        << AMDM37X_DISPC_SIZE_HEIGHT_SHIFT);
 
-	/* modes taken from u-boot */
+	/* modes taken from u-boot, for 1024x768 */
 	// TODO replace magic values with actual correct values
 //	regs->timing_h = 0x1a4024c9;
Index: kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision cc250b3af35039f28df79b2120b0af9079f5966c)
+++ kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision 7290ca0c7924417e4d8915bf1601248a8ffc3a0f)
@@ -147,5 +147,4 @@
 }
 
-
 static inline void amdm37x_irc_init(amdm37x_irc_regs_t *regs)
 {