rump_cpu_attach
void rump_cpu_attach(struct cpu_info *);
rump_cpu_attach(ci);
rump_cpu_attach(&rump_bootcpu);