Re: [PATCH 8/9] drm: remove no longer needed drm-get-put coccinelle script