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