[PATCH v4 4/5] cgroup/cpuset: Keep track of CPUs in isolated partitions