Fix a pointer bug for uart_putchar()