[coreboot-gerrit] Patch merged into coreboot/master: f31eacc lenovo/t60 lenovo/x60: Default SEABIOS_PS2_TIMEOUT to 3 seconds