Index: boot/arch/arm32/src/putchar.c
===================================================================
--- boot/arch/arm32/src/putchar.c	(revision ae7d03c05f24b857bbbdbcf3dafbf8ecc6c286ab)
+++ boot/arch/arm32/src/putchar.c	(revision 8a8771cf9d051fa7bdc587055c5e7041b8292e25)
@@ -51,10 +51,11 @@
 {
 	volatile uint32_t *thr =
-		(volatile uint32_t *) BBONE_SCONS_THR;
+	    (volatile uint32_t *) BBONE_SCONS_THR;
 	volatile uint32_t *ssr =
-		(volatile uint32_t *) BBONE_SCONS_SSR;
+	    (volatile uint32_t *) BBONE_SCONS_SSR;
 
 	/* Wait until transmitter is empty */
-	while (*ssr & BBONE_TXFIFO_FULL);
+	while (*ssr & BBONE_TXFIFO_FULL)
+		;
 
 	/* Transmit byte */
@@ -78,5 +79,6 @@
 
 	/* Wait until transmitter is empty. */
-	while ((*ssr & BBXM_THR_FULL) == 1) ;
+	while ((*ssr & BBXM_THR_FULL) == 1)
+		;
 
 	/* Transmit byte. */
@@ -144,10 +146,10 @@
 	write32(BCM2835_UART0_FBRD, 40);	/* Set fractional baud rate */
 	write32(BCM2835_UART0_LCRH,
-		BCM2835_UART0_LCRH_FEN |	/* Enable FIFOs */
-		BCM2835_UART0_LCRH_WL8);	/* Word length: 8 */
+	    BCM2835_UART0_LCRH_FEN |		/* Enable FIFOs */
+	    BCM2835_UART0_LCRH_WL8);		/* Word length: 8 */
 	write32(BCM2835_UART0_CR,
-		BCM2835_UART0_CR_UARTEN |	/* Enable UART */
-		BCM2835_UART0_CR_TXE |		/* Enable TX */
-		BCM2835_UART0_CR_RXE);		/* Enable RX */
+	    BCM2835_UART0_CR_UARTEN |		/* Enable UART */
+	    BCM2835_UART0_CR_TXE |		/* Enable TX */
+	    BCM2835_UART0_CR_RXE);		/* Enable RX */
 }
 
@@ -159,5 +161,6 @@
 	}
 
-	while (read32(BCM2835_UART0_FR) & BCM2835_UART0_FR_TXFF);
+	while (read32(BCM2835_UART0_FR) & BCM2835_UART0_FR_TXFF)
+		;
 
 	write32(BCM2835_UART0_DR, byte);