# CONFIG_CEC_TEGRA is not set
