Fixes for issues detected by CI
The biggest CI problem was a build failure due to the STREX success symbols not having propagated to the CrossCompilationSupport branch of HdrSrc. I've fudged that for now, but I should probably open an MR so it doesn't recur.
I went through the remaining issues just in case there was anything else only I could sort out, but there weren't any. Just this handful of nits, which I thought I'd save you the bother of redoing them by sending you this MR. All these commits are probably best squashed with your penultimate commit, 810b5b02.