Index: kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h
===================================================================
--- kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h	(revision 2673b3b7b3e09019faa673afad41c9feb6785618)
+++ kernel/genarch/include/drivers/amdm37x_dispc/amdm37x_dispc.h	(revision a57b751d239274a97aedd47fb6b128aae6b97f03)
@@ -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 2673b3b7b3e09019faa673afad41c9feb6785618)
+++ kernel/genarch/include/drivers/amdm37x_irc/amdm37x_irc.h	(revision a57b751d239274a97aedd47fb6b128aae6b97f03)
@@ -147,5 +147,4 @@
 }
 
-
 static inline void amdm37x_irc_init(amdm37x_irc_regs_t *regs)
 {