cpu_linux: support systems with more than 100 cpus.
1 file changed