fix MAX_CPUS type