Merge do_boot_cpu() into the new style __cpu_up().