Sched on Android doesn't support >32 CPUs