docs: Update type of uart_num in UART API Reference examples See merge request espressif/esp-idf!13385