[PATCH v15 1/4] server: Introduce new set_thread_priority helper.