* kernel/Kernel.tex.nw: LP split time and modified ps.c accordingly