Use __builtin_ia32_crc32di() if possible when calculating CRC32