Moved first_user_task_tid and idle_task_tid into stack. NOW we have no global variables in kernel.c. Exciting, no?