Symbol: arch_smp_get_current_cpu