mlkem: avx2: update keccakf1600 -- previous implementation was bmi1: this commit changes current implementation to bmi1 as well (andn)

Author: tfaoliveira

src/crypto_kem/mlkem/mlkem768/amd64/avx2/keccakf1600.jinc

@@ -154,8 +154,8 @@ inline fn keccakf1600_set_row(
     x1 = (x + 1) % 5;
     x2 = (x + 2) % 5;
 
-    // t  = !b[x1] & b[x2]; // bmi1
-    t = b[x1]; t = !t; t &= b[x2];
+    t  = !b[x1] & b[x2]; // bmi1
+    //t = b[x1]; t = !t; t &= b[x2];
 
     t ^= b[x];
     if( x==0 && y==0 ){ t ^= s_rc; }