Re: [PATCH 0/2] Fixes to drm_sched_priority