Modify cpuset_setithread() to take a CPU ID as an integer, not a char.

We're going to end up having > 254 CPUs at some point.


git-svn-id: svn+ssh://svn.freebsd.org/base/head@271658 ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f