[coreboot-gerrit] Patch merged into coreboot/master: util/kconfig: Ignore extra symbols in configs instead of failing

the following patch was just integrated into master:
commit c37c7c8b1f3977e362e05945a48ddecf803e20a7
Author: Martin Roth 
Date:   Wed Feb 10 16:06:00 2016 -0700

util/kconfig: Ignore extra symbols in configs instead of failing

When updating an old .config file that has a symbol that has been
    removed from the current Kconfig tree, kconfig will generate a warning
    and fail to save the updated file.  This is incredibly annoying, and
    not the goal when trying to eliminate Kconfig warnings.

Instead of generating a warning, just print a message that it's being
    ignored.  This will remove the offending symbol, while allowing the
    updated config file to be saved.

Split the change from 1 line to 3 lines to keep it at 80 characters.

Change-Id: I09d5775c9ed14bde80077b51b862a7f41bee098a
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/13674
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit