Re: [PATCH] drm: Hack around CONFIG_AGP=m build failures