[coreboot-gerrit] Patch merged into coreboot/master: Select a default SeaBIOS PS2 timeout in H8 Kconfig