c4dd854f740c ("cpu-hotplug: Provide prototypes for arch CPU registration")
666e1156b2c5 ("x86/smpboot: Rename start_cpu0() to soft_restart_cpu()")
94a855111ed9 ("Merge tag 'x86_core_for_v6.2' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip")