[PATCH 3/5] drm/gma500: Drop DRM_GMA3600 config option