Symbol: platform_smp_next_cpu