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

the following patch was just integrated into master:
commit 701f67d2020fc59ab939f947feb38d11517304d9
Author: Patrick Georgi 
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 
    Reviewed-on: http://review.coreboot.org/10512
    Reviewed-by: Paul Menzel 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit