Replace DCFG_SEMAPHORE_IMPL with cleaner DCFG_THREAD_MODEL