[TF-M] Re: Getting started, ST B-U585I-IOT02A profile - compilation