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