Allow building AVX2 on x86 (suggestion by @samuel-lee-msft)#467

msprotz wants to merge 2 commits intodevcryspen/hacl-packages:devfrom

protz_x86_avx2cryspen/hacl-packages:protz_x86_avx2Copy head branch name to clipboard