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