kernel untabity
* kernel/Makefile: introducing Kernel_extra.tex.nw
* kernel/Makefile:
* kernel/Kernel.tex.nw:
untabity .h