Extraction: use -no-prefix for more modules in Kremlin
Extraction: use -no-prefix for more modules in Kremlin

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star