fix issue #2247; use newer kyber _R3 symbols for Botan 3.2.0 upwards

[TJ-91]

fixes #2247 @ni4

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.01%. Comparing base (7724682) to head (945700e).
Report is 9 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2249      +/-   ##
==========================================
- Coverage   84.02%   84.01%   -0.01%     
==========================================
  Files         114      114              
  Lines       23062    23062              
==========================================
- Hits        19377    19375       -2     
- Misses       3685     3687       +2     

Flag	Coverage Δ
	84.01% <ø> (-0.01%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[ni4]

@TJ-91 This should be done only if PQC is enabled, for non-PQC builds we need to support Botan 3.0.0 and 3.1.1 as well.

[TJ-91]

@ni4 ah, I see. I hope it's good now

[TJ-91]

@ni4 here codecov complains but I did not change the code at all aside from renaming an identifier. (And I'm not sure about the windows-msys2 test)

[ni4]

@TJ-91 codecov issue is the following one: #2229
However, msys2 is something new which I didn't see before so filed #2274

[TJ-91]

@ni4 Can / should I change anything here?

[ni4]

@ni4 Can / should I change anything here?

@TJ-91 Probably just force-push with some minor changes to restart the CI in hope of all become green and get merged. Not sure whether issues which cause failure would be resolved quickly.

[TJ-91]

Aside from codecov, rebasing worked.

Since the final standard version of the PQC algorithms will (most likely) be in Botan 3.6 I propose to just close this PR and get it right with the next big PR. It will change the symbols and required Botan version for PQC again and obsolete this PR. It might take a few weeks.

[ni4]

@TJ-91 Yeah, feel free to close this. Codecov stuff should be fix itself once PR #2277 is merged.