Re: [PATCH] drm/drm_syncobj: Dead code removal