# CONFIG_CRC_BENCHMARK is not set
