Patch merged into coreboot/master: kconfig: fix build for xconfig, too

the following patch was just integrated into master:
commit 44853371f108b85a36775b72b894c93b24d7b7f7
Author: Patrick Georgi 
Date:   Thu Oct 1 17:46:19 2015 +0200

kconfig: fix build for xconfig, too

Change-Id: I1c5e3424cb56f1f10e75bb07db084c3500f3ba07
    Signed-off-by: Patrick Georgi 
    Reviewed-on: http://review.coreboot.org/11768
    Reviewed-by: Paul Menzel 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Alexandru Gagniuc

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

-gerrit