[TF-A] Question about Secondary CPU boot with spintable