arm: Move ipi_teardown() to a CONFIG_HOTPLUG_CPU section