Nucleo F4x1RE: Stangeness in initialization noted by Sébastien Lorquet

configs/nucleo-f4x1re/src/stm32_boot.c

@@ -121,6 +121,11 @@ void board_initialize(void)
 
 #if defined(CONFIG_NSH_LIBRARY) && !defined(CONFIG_NSH_ARCHINIT)
   nsh_archinitialize();
+#endif
+
+  /* CC3000 wireless initialization */
+
+#ifdef CONFIG_WL_CC3000
   wireless_archinitialize(0);
 #endif
 }

configs/spark/src/up_boot.c

@@ -124,11 +124,14 @@ void board_initialize(void)
    */
 
 #if defined(CONFIG_NSH_LIBRARY) && !defined(CONFIG_NSH_ARCHINIT)
-	  nsh_archinitialize();
-	  wireless_archinitialize(0);
-
+  nsh_archinitialize();
 #endif
 
+  /* CC3000 wireless initialization */
+
+#ifdef CONFIG_WL_CC3000
+  wireless_archinitialize(0);
+#endif
 }
 #endif