Re: [TF-M] Possible race condition in IRQ_TEST_SCENARIO_4?