[coreboot-gerrit] Patch merged into filo/master: Fix Makefiles for mixed use Kconfig usage

the following patch was just integrated into master:
commit 3e01efbc3071b7c4008551818ff7f7bfaf691e44
Author: Stefan Reinauer 
Date:   Tue Jun 30 17:38:36 2015 -0700

Fix Makefiles for mixed use Kconfig usage

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

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

-gerrit