Re: SSE register return with SSE disabled on AMD64

You must not use SSE or floating point operations in the kernel.  The
state of the floating point and SSE registers is *not* saved upon
entry to the kernel.  If the kernel executes SSE or floating point
instructions it will corrupt the state of a userland program.

Ryan Stone