I have never looked to see what is actually occurring, but this URL says there is direct support for Debian-based systems here:
…however, it says:
<b>Note: only x86_64 packages are available.</b>
So maybe it is possible to build everything from source (and I am talking about what seems to be far more than just a kernel module). It isn’t unusual for a driver of this type to have some sort of architecture-dependent code, and although possibly it is just a recompile, chances are it won’t be “easy”.
Something to consider is that on a desktop PC it is likely more than one driver can service part of a network simultaneously to other drivers. On the TX2 only CPU0 can service hardware IRQs, and so I have doubts about performance even if you do get multiple networks running at the same time and behaving as a single interface. Failover for a redundant system would not be a problem, but adding several interfaces for the purpose of performance may not be a significant performance gain.