gh-126433: Update hacl-star#126791

gpshead merged 2 commits intopython:mainpython/cpython:mainfrom

vstinner:hacl_starvstinner/cpython:hacl_starCopy head branch name to clipboard