Copy the SSE2+ SHA-256 and SHA-512 from epixoip's formats to sse-intrinsics.c
before we start optimizing things away :-)

It's not working as-is so it's ifdef'ed out.