consoles: switch to int put_char method