Modify thread_set_priority

"When the donations are released, the thread's priority becomes the one
set through the function call."