diff --git a/configs/nucleo-f4x1re/src/stm32_boot.c b/configs/nucleo-f4x1re/src/stm32_boot.c
index 92f17e4892..d9962a8ee8 100644
--- a/configs/nucleo-f4x1re/src/stm32_boot.c
+++ b/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
 }
diff --git a/configs/spark/src/up_boot.c b/configs/spark/src/up_boot.c
index f0199a6fcb..939b8cee91 100644
--- a/configs/spark/src/up_boot.c
+++ b/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