[coreboot-gerrit] Patch set updated for coreboot: 42c0109 mainboard/*/debug.c: Remove duplicate or dead code