Is there a right way to pass additional compiler flags to the coreboot makefiles?
We've been working on making the Heads firmware reproducible