Use mp_maxid when iterating over CPUs as we may have sparse id allocations.
Sponsored by: DARPA, AFRL