[coreboot-gerrit] New patch to review for coreboot: 00d2245 Provide a way to compile some files with -O0 option