[coreboot-gerrit] Patch set updated for coreboot: Do not select SEABIOS_VGA_COREBOOT by default when building for QEMU