Initial kernel with a basic I/O facility (forgot to include these changes in my previous commit)