[IA64] cpu-hotplug: Fixing confliction between CPU hot-add and IPI