* kernel/Kernel.tex.nw: cleanup edf, introduce retcode, etc