cc3200: Move wlan_init0() to the boot section.

This one creates a semaphore, therefore it must be executed only
after a hard reset (or when coming out of hibernation).

cc3200/mods/modwlan.c

@@ -379,6 +379,7 @@ void SimpleLinkSockEventHandler(SlSockEvent_t *pSock) {
 // SimpleLink Asynchronous Event Handlers -- End
 //*****************************************************************************
 
+__attribute__ ((section (".boot")))
 void wlan_init0 (void) {
     // create the wlan lock
     ASSERT(OSI_OK == sl_LockObjCreate(&wlan_LockObj, "WlanLock"));

cc3200/mptask.c

@@ -126,7 +126,6 @@ soft_reset:
     pin_init0();
     readline_init0();
     mod_network_init0();
-    wlan_init0();
 #if MICROPY_HW_ENABLE_RNG
     rng_init0();
 #endif
@@ -273,6 +272,9 @@ STATIC void mptask_pre_init (void) {
     // this one allocates memory for the nvic vault
     pybsleep_pre_init();
 
+    // this one allocates mameory for the WLAN semaphore
+    wlan_init0();
+
 #if MICROPY_HW_HAS_SDCARD
     pybsd_init0();
 #endif