If these uarts behave the same way a USB COM port in Windows does... then the number in Windows may be assigned dynamically when they are plugged in. If so... then when you plug in, you'll hear a notification sound and the device should show up in device manager and tell you what port number that was assigned to it.
If they don't behave the same... then just ignore this post