Hi, buzz. I’m glad I could contribute!
If this helps – those hard-coded optimizations were in the raspberry pi makefiles to match the style of the other makefiles that were already present. I never tried building without specifying march, mcpu, etc.
If I discovered that those flags were unnecessary and removed them from the repo, would that help you?