[PATCH v2 1/3] server: Add get_effective_thread_priority() helper.