Both PQClean and OpenQuantumSafe (begin to) use "bmi1" instead of "bmi" to refer to this CPU feature. This PR thus eases import of Dilithium to these repos.
Coverage remained the same at 94.537% when pulling efe140d4fbc6f66dd4f4466cad272db2d635359f on baentsch:bmi-adapt into 497a98bc7efe48cb0d18fd20d6d9a4b5629406ef on pq-crystals:master.
Both PQClean and OpenQuantumSafe (begin to) use "bmi1" instead of "bmi" to refer to this CPU feature. This PR thus eases import of Dilithium to these repos.