* sysdeps/unix/sysv/linux/bits/sched.h (__sched_cpucount): Add