These go on top of Oleg's patches.The mechanism to disable lazy FPU restore is inscrutiblein several places, and dubious at best in one.These patches make things explicit.They also get rid of some apparently useless or redundantcode, and make fpu_lazy_restore work when in eager FPU mode.