This is the low-level console abstraction and should deal in the
char * hardware format.  The upper layer (debug.cc) already handles
all conversion from std::string and boost formats.