SMP boot sequence

Yes all Host OS core control is done via the standardized PSCI calls into TF-A