sched.c: correct disableIRQ usage
sched.c: Use sched_active_pid instead of sched_active_thread->pid