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