* kernel/Kernel.tex.nw: annote code with bug found on 9fans