Patch merged into coreboot/master: 6967e3f kconfig: Fix 'make gconfig'.

the following patch was just integrated into master:
commit 6967e3f7239b3afe9c73ac97c6035c52d828b1a2
Author: Uwe Hermann 
Date:   Thu Apr 12 21:39:27 2012 +0200

kconfig: Fix 'make gconfig'.

Change-Id: Id2d0735d875b40e131fc2aada27435fdcbacc8cb
    Signed-off-by: Uwe Hermann

Reviewed-By: Patrick Georgi  at Fri Apr 13 10:51:39 2012, giving +2
See http://review.coreboot.org/891 for details.

-gerrit