OCTEON_CONSOLE_MAX_READ_BYTES
static char console_buffer[OCTEON_CONSOLE_MAX_READ_BYTES];
char leftover[OCTEON_CONSOLE_MAX_READ_BYTES];