[coreboot-gerrit] Patch merged into coreboot/master: f040858 payload/SeaBIOS: Add SEABIOS_PS2_TIMEOUT Kconfig variable

the following patch was just integrated into master:
commit f040858ec31ffef5b746bb9856be6395a20c98ce
Author: Peter Stuge 
Date:   Tue Jul 9 19:43:09 2013 +0200

payload/SeaBIOS: Add SEABIOS_PS2_TIMEOUT Kconfig variable

This allows mainboards to preconfigure a ps2-keyboard-spinup
    timeout when SeaBIOS is chosen as the payload.

The Kconfig option can be changed manually if CONFIG_EXPERT is set.

Change-Id: I5732b18ef04f4bdef6236f35039656ad02011aec
    Signed-off-by: Peter Stuge 
    Reviewed-on: http://review.coreboot.org/3734
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

See http://review.coreboot.org/3734 for details.

-gerrit