# CONFIG_CRYPTO_CURVE25519_X86 is not set