# CONFIG_DRM_DP_CEC is not set