[coreboot-gerrit] Patch set updated for coreboot: 393120b drivers/xgi: Fix user-visible typo in printk