[TF-A] What prevents BL1 FWU SMC's from being called on multiple cores ?