See https://github.com/pq-code-package/mlkem-native/pull/1389
See pq-code-package/mlkem-native#1389