Added a simple output only debugger, as well as some tests for it into
kernel.cpp