Use SSE4.2 in update_crc32c