How to repair broken micro usb port?

Hi Dourado,

The part number of connector is PUBGT0-05FLBS1NN4H0 from TAI TWUN GROUP LIMITED which you can found in BOM file here:
[url]http://developer.nvidia.com/embedded/dlc/jetson-tx1-tx2-developer-kit-carrier-board-bom[/url]

You will have to repair it with soldering work as linuxdev or do RMA if fail, and there is no other way to flash Devkit other than USB.