[coreboot-gerrit] Patch merged into coreboot/master: payloads/external/SeaBIOS: Add option for saved SeaBIOS .config

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 99d05c74b6f32aa667364d5dd4b10b9e512acbb7
Author: Martin Roth <martinroth at google.com>
Date:   Sat Nov 28 15:44:34 2015 -0700

    payloads/external/SeaBIOS: Add option for saved SeaBIOS .config
    
    Instead of adding various SeaBIOS options into the coreboot Kconfig,
    just add a way to use saved SeaBIOS .config files.  These files
    can contain full SeaBIOS .configs, but is really intended for individual
    options.
    
    The coreboot Kconfig options take precedence over the settings in the
    saved .config.
    
    Change-Id: Ia7f9c76555b8e290777207b3f637c94c4d67a782
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/12568
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Alexander Couzens <lynxis at fe80.eu>


See https://review.coreboot.org/12568 for details.

-gerrit