Re: [PATCH] drm/gma500: Drop DRM_GMA600 config option