# CONFIG_DRM_CDNS_DSI is not set