SHA512 into intrinsics, normalizing SHA1 SSE2i interface to be same as SHA2