bugfix in taskscheduler_mic, thread2event array is no longer required