(__sched_cpucount): Allow using special instruction for counting bits.