[coreboot-gerrit] Patch merged into coreboot/master: Remove unused Kconfig symbols in c code

the following patch was just integrated into master:
commit 9346d504ca31dd5df7febe14fdab8ae400cd5307
Author: Martin Roth 
Date:   Wed Jul 15 18:32:43 2015 -0600

Remove unused Kconfig symbols in c code

The BROKEN_CAR_MIGRATE symbol was removed in commit a6371940 -
    x86 cache-as-ram: Remove BROKEN_CAR_MIGRATE option

The symbol DISABLE_SANDYBRIDGE_HYPERTHREADING is from Sage, and was
    never added to the coreboot.org codebase.

Change-Id: I953fe7c46106634a5a3fcdaff88b39e884f152e6
    Signed-off-by: Martin Roth 
    Reviewed-on: http://review.coreboot.org/10941
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

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

-gerrit