# CONFIG_CRYPTO_CRC32C_VPMSUM is not set
