simplified mach-tegra/platsmp.c so it fits new kernel