[TF-M] Arm v8 FPU questions