# CONFIG_DRM_GMA500 is not set
