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.
Actually, it's called `process` throughout the whole file.