generic3a_boot_secondary_cpu
.boot_secondary_cpu = generic3a_boot_secondary_cpu,
void generic3a_boot_secondary_cpu(struct cpu_info *);