leon_boot_one_cpu
int leon_boot_one_cpu(int i, struct task_struct *);
ret = leon_boot_one_cpu(cpu, tidle);