[coreboot-gerrit] Patch set updated for coreboot: 19b9a86 drivers/xgi/z9s: Port Linux initialization to coreboot