# CONFIG_DRM_I2C_ADV7511 is not set