Symbol: mainbus_attach_cpus