Re: [PATCH] drm: drm_bufs: Error out if 'dev->agp' is a null pointer