arm_cpu_do_topology
arm_cpu_do_topology(ci); // XXXNH move this after mi_cpu_attach
arm_cpu_do_topology(ci);
void arm_cpu_do_topology(struct cpu_info * const);