* kernel/Kernel.tex.nw: remove some of the backward dependencies tricks