[im_down_w_otp]

The on-board Ethernet on the TX1 is USB3 integrated, IIRC. The system having PCIe is not necessarily a sign of how it gets used or what is using it, unfortunately.