* kernel/Kernel_extra.tex.nw: more mv to Kernel