[coreboot-gerrit] Patch set updated for coreboot: 69f107e drivers/pc80/Kconfig: Mention that GRUB 2 is able to init PS/2 keyboard