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

the following patch was just integrated into master:
commit 99d05c74b6f32aa667364d5dd4b10b9e512acbb7
Author: Martin Roth 
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 
    Reviewed-on: https://review.coreboot.org/12568
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Alexander Couzens

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

-gerrit