# CONFIG_DRM_SIS is not set