doc: add detailed scheduler documentation

Apparently some clearing/cleaning up is in order in the documentation involved and possibly the implementations of the ISRs.