[coreboot-gerrit] New patch to review for coreboot: ecbaa0f drivers/pc80/Kconfig: Do not initialize PS/2 keyboard with GRUB 2 payload