Fix a potential crash on kernel tasklet startup
Fix a bad printf in syscalls
Don't allocate buffer on stack
Fix extern declaration of isrs table
Fix a null dereference from lists/trees
Fix a typo and a potentially crash with timers
Fix some major paging issues
handle printf("%s", NULL) without crashing
Remove a lock from something that shouldn't be locking anyway
Change how we determine that a process is in a queue