gh-148200: sync HACL to the updated upstream

Author: carlo-bramini

Modules/_hacl/refresh.sh

@@ -22,7 +22,7 @@ fi
 
 # Update this when updating to a new version after verifying that the changes
 # the update brings in are good.
-expected_hacl_star_rev=8ba599b2f6c9701b3dc961db895b0856a2210f76
+expected_hacl_star_rev=d01ef3827be3dd6aeb7654415b9126bd074e2f5e
 
 hacl_dir="$(realpath "$1")"
 cd "$(dirname "$0")"