x86_64: CRC32.so
