Clean up dispatcher
Add include guards
console_write() bugfix

Check the char at the index for the null character, not the index
itself!
Use console 0 as stdout/stderr

Processes can now write to stdout/stderr using STDOUT_FILENO and
STDERR_FILNO respectively.