* kernel/Kernel.tex.nw: more notes on strace