ARM: tegra30: add CPU hotplug support