regressions/ck_hs: Do not rely on ck_pr_add_64 for benchmarks.

ck_hs now officially targets the 32-bit ports. No advantage
to using ck_pr_*_64 operations here.