Patch merged into coreboot/master: 0a52468 Fix Kconfig option list generator

the following patch was just integrated into master:
commit 0a524686d91f5d77a95acb2d1878b80ff4a12fa6
Author: Stefan Reinauer 
Date:   Tue May 5 16:20:07 2015 -0700

Fix Kconfig option list generator

The Kconfig option list generator was broken by two different changes
    to the project in the last few years:
    - the switch to git from svn
    - allowing wild card includes in Kconfig

Change-Id: I6bc5024a04958e9718d2e3a3a3bb6d69d4277eb6
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/10115
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit