Index: kernel/arch/arm32/src/mach/integratorcp/integratorcp.c
===================================================================
--- kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 3cf22f98e8b62fe3239495266885864a48c85a80)
+++ kernel/arch/arm32/src/mach/integratorcp/integratorcp.c	(revision 30e9f42a78ab720d6d4fc7f8484c61c6b7964bdd)
@@ -245,5 +245,6 @@
 void icp_cpu_halt(void)
 {
-	while (true);
+	while (true)
+		;
 }
 
@@ -345,11 +346,11 @@
 
 #ifdef CONFIG_PL011_UART
-        srln_instance_t *srln_instance = srln_init();
-        if (srln_instance) {
-                indev_t *sink = stdin_wire();
-                indev_t *srln = srln_wire(srln_instance, sink);
-                pl011_uart_input_wire(&icp.uart, srln);
-                icp_irqc_unmask(ICP_UART0_IRQ);
-        }
+	srln_instance_t *srln_instance = srln_init();
+	if (srln_instance) {
+		indev_t *sink = stdin_wire();
+		indev_t *srln = srln_wire(srln_instance, sink);
+		pl011_uart_input_wire(&icp.uart, srln);
+		icp_irqc_unmask(ICP_UART0_IRQ);
+	}
 #endif
 }