Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision ae7d03c05f24b857bbbdbcf3dafbf8ecc6c286ab)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 6ff23ff32c8aa9d6ad8d06f1743ca1b0d68c14bc)
@@ -106,6 +106,8 @@
 	omap_irc_init(beagleboard.irc_addr);
 
-	/* Initialize timer. Use timer1, because it is in WKUP power domain
-	 * (always on) and has special capabilities for precise 1ms ticks */
+	/*
+	 * Initialize timer. Use timer1, because it is in WKUP power domain
+	 * (always on) and has special capabilities for precise 1ms ticks
+	 */
 	amdm37x_gpt_timer_ticks_init(&beagleboard.timer,
 	    AMDM37x_GPT1_BASE_ADDRESS, AMDM37x_GPT1_SIZE, HZ);
@@ -161,5 +163,6 @@
 	}
 	/** amdm37x manual ch. 12.5.2 (p. 2428) places irc ack at the end
-	 * of ISR. DO this to avoid strange behavior. */
+	 * of ISR. DO this to avoid strange behavior.
+	 */
 	omap_irc_irq_ack(beagleboard.irc_addr);
 }