[coreboot] coreinfo: add -Os flag