* kernel/processes/syssema.c: misc