FPU save/restore support