diff --git a/arch/tile/Kconfig b/arch/tile/Kconfig
index 9a9d08637ab9b56f6af9d52908a999753a6ed6ff..d8885fd8760326ac8e5fc60053d5335bdc0c3231 100644
--- a/arch/tile/Kconfig
+++ b/arch/tile/Kconfig
@@ -43,9 +43,6 @@ config MMU
 config GENERIC_CSUM
 	def_bool y
 
-config SEMAPHORE_SLEEPERS
-	def_bool y
-
 config HAVE_ARCH_ALLOC_REMAP
 	def_bool y
 
@@ -70,12 +67,6 @@ config HUGETLB_SUPER_PAGES
 config RWSEM_GENERIC_SPINLOCK
 	def_bool y
 
-# We have a very flat architecture from a migration point of view,
-# so save boot time by presetting this (particularly useful on tile-sim).
-config DEFAULT_MIGRATION_COST
-	int
-	default "10000000"
-
 # We only support gcc 4.4 and above, so this should work.
 config ARCH_SUPPORTS_OPTIMIZED_INLINING
 	def_bool y