[TF-M] Re: FPU use with TF-M