Re: [PATCH v2] lib/crypto: curve25519-hacl64: Fix older clang KASAN workaround for GCC