CC3100MOD: Multiple module restarts lead to crash of our controller

Part Number:CC3100MOD

We noticed, that sometimes our processor goes into a HardFault during the start of the CC3100 module. After some debugging we were able stable reproduce the crash by executing the following function 20 times in a row:

void CC3100Controller::restartCC3100(void) {
    _i32 ret;
    ret = simplelink->abst_sl_Stop(0);
    assert(ret == 0);
    if(ret != 0) {
        while(1);
    }

    freertos->abst_vTaskDelay(100/portTICK_PERIOD_MS);
    ret = simplelink->abst_sl_Start(NULL, NULL, NULL);
    assert(ret >= 0); (void) ret;
}

Has anyone expirienced a similiar problem? Is there a known bug in the driver? Is there a timing restriction on the start behaviour the driver does not enforce and has to be enforced by our software?

We use a LPC1857 as host processor and connect by SPI to the module.

Regards
Simon