* kernel/processes/clock.c: clarify, introduce typedefs
* kernel/Kernel.tex.nw: more section on Timer