* kernel/Kernel.tex.nw: preempted() -> preempt() and other fixes