[PATCH] drm/sched: Fix htmldoc warning.