[Linaro-mm-sig] Re: [PATCH v3] drm/sched: Fix kernel NULL pointer dereference error