# CONFIG_DRM_I2C_ADV7533 is not set