[TF-M] DSP instructions and FPU use