[TF-M] FPU S16-S31 registers