[coreboot] Patch merged into coreboot/master: 386758f Update SeaBIOS stable to the release-1.7.1 commit

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 386758f46625a3e61b44bc9342f48d261e895091
Author: Peter Stuge <peter at stuge.se>
Date:   Tue Oct 16 02:25:07 2012 +0200

    Update SeaBIOS stable to the release-1.7.1 commit
    
    Change-Id: I0dffe89c31e45914f795d9ad8efb787b5fdbb7a8
    Signed-off-by: Peter Stuge <peter at stuge.se>

Build-Tested: build bot (Jenkins) at Tue Oct 16 03:21:06 2012, giving +1
Reviewed-By: Peter Stuge <peter at stuge.se> at Tue Oct 16 03:31:05 2012, giving +2
See http://review.coreboot.org/1583 for details.

-gerrit