54345fd41b
with !SMP kernels. Also, replace NCPUS with MAXCPU since they are redundant.
with !SMP kernels. Also, replace NCPUS with MAXCPU since they are redundant.