[coreboot-gerrit] Patch set updated for coreboot: 760f4b2 SeaBIOS: Use coreboot video BIOS settings to set seabios settings