CTI issue on CPU hotplug