Merged requested to merge 3487-eddsa-verify-leak-v9_11 into v9_11
CHANGES entry is added because it's easy to do, but the release note isn't, as it requires adding a new
doc/arm/notes-9.11.38.xml file, which would suggest a new release, which won't happen.
Order of battle:
1. !7240 (merged)
2. !7241 (merged)
3. this MR
Closes #3487 (closed)