adding Kernel1:PROCS: to sched.c