[coreboot-gerrit] Patch merged into coreboot/master: util/lint: Add check to verify saved configs are miniconfigs

the following patch was just integrated into master:
commit 21c99af0c82fc8fd00b91e8bea6a454f0cd251ac
Author: Martin Roth 
Date:   Thu Nov 24 13:16:28 2016 -0700

util/lint: Add check to verify saved configs are miniconfigs

Change-Id: Ifc5ec645dd27663c1b1fde9ff16d48534606a554
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/17600
    Reviewed-by: Nico Huber 
    Tested-by: build bot (Jenkins)

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

-gerrit