[coreboot-gerrit] New patch to review for coreboot: f3a5098 Fix compilation when coverage debugging is enabled