* kernel/Kernel.tex.nw: clean procinit0 -> procinit
* kernel/Kernel.tex.nw: remove brk_, remove backward compatibility uglyness