[coreboot-gerrit] Patch set updated for coreboot: c16ec26 util/sconfig/main.c: Free memory pointed to by `outputc`