CRC32 kernel config options