Merge pull request #12438 from joachimschmidt557/stage2-arm

stage2 ARM: misc improvements
d2342370feJoachim Schmidt committed on 8/13/2022, 8:32:18 PM· committed by GitHubparents7e07f3dc9d9fd5
2 files changedLine totals unavailable