[coreboot-gerrit] Patch merged into coreboot/master: build system: add minimized .config to coreboot image

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 701f67d2020fc59ab939f947feb38d11517304d9
Author: Patrick Georgi <pgeorgi at chromium.org>
Date:   Thu Jun 11 09:55:56 2015 +0200

    build system: add minimized .config to coreboot image
    
    Use savedefconfig to store only the minimum set of options that need to be
    touched to reproduce the image. They're enough in combination with the commit
    id which is also stored.
    
    Change-Id: I7d1cc8f34620af85d4ec2c64a5bc4a6f20b820f6
    Signed-off-by: Patrick Georgi <pgeorgi at chromium.org>
    Reviewed-on: http://review.coreboot.org/10512
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See http://review.coreboot.org/10512 for details.

-gerrit