[TF-M] Mutex in SPE