# CONFIG_DRM_DISPLAY_DP_AUX_CEC is not set
