Symbol: mainbus_attach_psci