ARM: tango: fix CONFIG_HOTPLUG_CPU=n build