ARM: tegra: fix Kconfig warnings when !SMP