add sched_getcpu vDSO support