Catch output from kernel

[jounathaen]

At the moment, the kernel messages go to the serial out, and the application output to file descriptor 0. For testing and other purposes, it might be beneficial if we can specify other data structures or files for the output.

For the serial, this is trivial.
For the write to fd 0, this probably requires a little more thought.