# CONFIG_DRM_SUN4I_HDMI_CEC is not set