doc: add detailed scheduler documentation

Isn't that a bug / undesirable behavior (ARM7 not checking `sched_run`)?