Fix b51b15e: re-disable dispatcher in thread_mutex_lock* and thread_sem_wait().