* kernel/Kernel_extra.tex.nw: started to split
* kernel/syscalls/systab.h: split