zynq_cpun_start
extern int zynq_cpun_start(u32 address, int cpu);
EXPORT_SYMBOL(zynq_cpun_start);
return zynq_cpun_start(__pa_symbol(secondary_startup_arm), cpu);