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