Make sure that there is one space after for

configs/open1788/src/lpc17_sdraminitialize.c

@@ -195,7 +195,7 @@ void open1788_sdram_initialize(void)
 
   /* Wait 128 AHB clock cycles */
 
-  for(i = 0; i < 128; i++);
+  for (i = 0; i < 128; i++);
  
   /* 64ms/8192 = 7.8125us, nx16x8.33ns < 7.8125us, n < 58.6*/
 

configs/us7032evb1/shterm/shterm.c

@@ -665,7 +665,7 @@ int main(int argc, char **argv, char **envp)
 
   /* Loopo until control-C */
 
-  for(;;)
+  for (;;)
     {
       /* Read characters from the console, and echo them to the target tty */
 

configs/vsn/src/power.c

@@ -104,5 +104,5 @@ void board_power_off(void)
 
     // trigger shutdown with pull-up resistor (not push-pull!) and wait.
     stm32_gpiowrite(GPIO_PCLR, true);
-    for(;;);
+    for (;;);
 }