[patch v1] manual: add sched_getcpu()

[DJ Delorie]

Collin Funk <collin.funk1@gmail.com> writes:
> Thanks for the explanations. Patch is all good.
>
> Reviewed-by: Collin Funk <collin.funk1@gmail.com>

Thanks!  Pushed.