Not exactly a remote kernel debugger, but I just did fine making
the bitsy print to the console while attached to the serial line.

You can later use kdump on s9bitsy to do post mortem debugging.