[coreboot-gerrit] New patch to review for coreboot: 59d0051 NOTFORMERGE: Fix for SeaBIOS