Symbol: platform_smp_start_cpu