--- linux-2.6.17.noarch/mm/Kconfig.orig 2006-07-19 16:23:03.000000000 +0200 +++ linux-2.6.17.noarch/mm/Kconfig 2006-07-19 16:25:16.000000000 +0200 @@ -135,6 +135,7 @@ config SPLIT_PTLOCK_CPUS default "4096" if ARM && !CPU_CACHE_VIPT default "4096" if PARISC && !PA20 default "4096" if X86_XEN || X86_64_XEN + default "4096" if !64BIT default "4" #