* kernel/Kernel.tex.nw: better union mount section
* kernel/Kernel.tex.nw: remove dead parameters