[coreboot-gerrit] Patch set updated for coreboot: c85ba71 drivers/pc80/Kconfig: Do not init PS/2 keyboard if GRUB 2 is chosen as payload