# CONFIG_DRM_ST7571_I2C is not set
