# CONFIG_CRC32_SARWATE is not set