add_cpu
add_cpu(void *fdt, int cpuid)
add_cpu(void *fdt, int cpuid, const char *isa, uint32_t *intc_phandle)