Channel kernel debug output through RawPutChar() so it can be captured by Sashimi...