[coreboot-gerrit] Patch merged into coreboot/master: payloads/coreinfo: Set KCONFIG_CONFIG value

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 47ca65a791e7fd5b1c618240b5bac1f5a482ccfb
Author: Martin Roth <martinroth at google.com>
Date:   Mon Aug 1 19:25:33 2016 -0600

    payloads/coreinfo: Set KCONFIG_CONFIG value
    
    The KCONFIG_CONFIG value was previously keeping the value set by
    coreboot's makefile. That caused it to overwrite coreboot's .config,
    making the current coreinfo build and the next coreboot build fail
    with the curious error that you were building without the correct
    toolchain.
    
    Change-Id: I973b0c36e7227135a5c2d6d261e08889857aaaf1
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/16023
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Omar Pakker
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit