* kernel/Kernel.tex.nw: adding prototype of syscalls next to the sysxxx function