Re: [coreboot] coreinfo: add -Os flag