* kernel/Kernel.tex.nw: distribute chan other fields