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