# CONFIG_SERIAL_TEGRA is not set
