ARM: milbeaut: fix build with !CONFIG_HOTPLUG_CPU