add sched_getcpu

This is a GNU extension, but a fairly minor one, for a system call that
otherwise has no libc wrapper.
2 files changed