[coreboot-gerrit] Patch set updated for coreboot: Select a default SeaBIOS PS2 timeout in H8 Kconfig