[coreboot-gerrit] New patch to review for coreboot: 5f18817 mainboard: Define DRIVERS_PS2_KEYBOARD to false where desired