* kernel/Kernel.tex.nw: notes on schedinit() vs sched()