[TF-M] Re: Arm v8 FPU questions