[coreboot-gerrit] Patch set updated for coreboot: [NOTFORMERGE] src/Kconfig: Enable code coverage by default