[coreboot-gerrit] Patch merged into coreboot/master: 55cdc16 Provide a way to compile some files with -O0 option