[PATCH] Kconfig fix (alpha NUMA)