Re: [PATCH] drm/doc: Adapt GPU scheduler references for renamed C file