RE: [PATCH] drm/scheduler: fix rare NULL ptr race