# CONFIG_CRYPTO_NHPOLY1305_AVX2 is not set
