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