[3.14] gh-146264: Use static HACL deps for static module builds (GH-146265)

[3.14] gh-146264: Use static HACL deps for static module builds (GH-146265) #188837