thread_set_priority: changed thread_yield to intr_yield_on_return