How to find the actually schedulable CPUs in a Linux + cgroups setup?