* kernel/Kernel.tex.nw: Dir -> DirEntry
* kernel/Kernel.tex.nw: rename some functions