[tarlinian]

Lazy FPU state restoration almost never makes sense on modern CPUs (regardless of security issues) because the cost of an interrupt for state restoration is so high and because "FPU" registers are used for a lot more than just FP calculations these days.