[coreboot-gerrit] Patch set updated for coreboot: 6c9d0d3 NOTFORMERGE: Fix for SeaBIOS