8c854303ce0e ("cpu/hotplug: Remove deprecated CPU-hotplug functions.")