Support non contiguous processor ids

[JerryShea]

e.g.

$ cat /proc/cpuinfo
processor	: 0
...
core id		: 0
...
...
processor	: 2
...
core id		: 1
...
...

[JerryShea]

See WIP ea...capture_processorid