Fix proc_setPri(), which now correctly changes the priority of processes in the ready...