# CONFIG_DRM_GMA600 is not set