Re: [PATCH 17/19] drm: inline drm_agp_destroy