1b684ca15f9d drm/sched: Fix drm_sched_fini() docu generation