[coreboot] Patch merged into coreboot/master: 850793f Make the pre-commit-hook happy about the code in libgcov.c