Re: [TF-A] PSCI lock contention