Add options to use sched_getcpu