# CONFIG_SERIAL_TEGRA_UTC is not set
