core: Allow killing tasks using PID

Allows the scheduler to kill tasks other than the currently active task by using the target task's PID. sched_task_exit() has been streamlined to use sched_task_kill() with the active task's PID.
Ah, not only in that file.. ignore comment then.