Flesh out kernel debugger some more