[TF-A] How secondary core(s) move from TF-A into Kernel space using PSCI - 4 x A55 ?