Add kbdmon device for Raspberry Pi

As a workaround to create a TTY that reads from the keyboard but writes to
the framebuffer, create an entry for a pseudo-device that does exactly
this.

This is subject to the assumptions detailed in the comment added to
xinu.conf.