[coreboot-gerrit] New patch to review for coreboot: Select a default SeaBIOS PS2 timeout in H8 Kconfig