* kernel/devices/mouse/devmouse.c: remove conf.monitor use, CE
* kernel/processes/386/i8253.c: dead code
* lib_core/libc/9syscall/sys.h: reorg again, introduce time section
* kernel/Kernel.tex.nw: misc
* kernel/core/portdat_core.h: remove conf.monitor field