SSE in kernel?

[johnc]

Are SSE instructions allowed in the AMD64 kernel?  Is #ifdef __SSE__
a sufficient guard?

I have a rasops32 putchar with SSE that is 2x faster.