[coreboot-gerrit] Patch set updated for coreboot: 3225d5d drivers/xgi/z9s: Port Linux framebuffer initialization to coreboot