Removed bad enable irq in get_proc_by_pid() and
made the k_process.c file more similar to the one in the ProcSwitch branch so it's easier to merge.