[coreboot-gerrit] Patch set updated for coreboot: 85b877a mainboard: Do not redefine DRIVERS_PS2_KEYBOARD Kconfig variable