[PATCH v3 10/15] server, ntdll: Fetch both thread priority and base_priority.