patch-python-configure-hacl-no-simd.patch
The configure script tries to auto-detect whether it can build 128-bit and 256-bit SIMD helpers for HACL. On x86-64 that requires v2 and v3 microarchitecture levels respectively, and on arm64 the performance is poor.
This patch disables SIMD optimization auto-detection for HACL.