[coreboot-gerrit] Patch set updated for coreboot: 28205f2 console/post.c: NOTFORMERGE