Using SSE registers in kernel code