[PATCH] x86-64: Correct max number of CPUs in Kconfig