Added support to view kernel messages on the serial console.

So far it looks like userland messages can't be shown on both the screen
(tty1) and the serial console.
If it turns out to be possible, we'll add that later.