small code refactoring of x64 SSE 4.2 function crc32csse42()