# CONFIG_TEGRA20_MC is not set