[coreboot-gerrit] Patch merged into coreboot/master: fb9d4ca mainboard: Do not redefine DRIVERS_PS2_KEYBOARD Kconfig variable