[PATCH v2 2/4] drm/gma500: Drop DRM_GMA600 and DRM_GMA3600 config options