Catch stream heisenbug, initialize scheduler IRQs before smp_init (), reduce stream max size

kernel/proc/proc.h

@@ -75,6 +75,8 @@ void proc_pid_alloc_init (void);
 
 void proc_wait_for (struct proc* proc, struct reschedule_ctx* rctx, struct proc* wait_proc);
 
+void proc_irq_sched (void* arg, void* regs, bool user, struct reschedule_ctx* rctx);
+
 void proc_init (void);
 
 struct proc* kproc_create (void);