Index: coreboot-v2/src/cpu/amd/model_fxx/Kconfig
===================================================================
--- coreboot-v2.orig/src/cpu/amd/model_fxx/Kconfig
+++ coreboot-v2/src/cpu/amd/model_fxx/Kconfig
@@ -1,13 +1,16 @@
 config HAVE_INIT_TIMER
 	bool
 	default y
+	depends on CPU_AMD_SOCKET_F
 
 config HAVE_MOVNTI
 	bool
 	default y
+	depends on CPU_AMD_SOCKET_F
 
 config CPU_ADDR_BITS
 	int
 	default 40
+	depends on CPU_AMD_SOCKET_F
 
 
