[TF-M] Re: Issues with psa_wait() when waiting for interrupts and IPC function calls.