2a45d7c9b1
completely on lazy floating point state saving. This is needed for the SMP case since processes can migrate to other CPUs. Submitted by: dfr