Implement FPU state switching.
Defer allocation of FPU save area until needed.