[coreboot-gerrit] Patch set updated for coreboot: 1166342 drivers/pc80/Kconfig: Revert PS/2 initialization defaults