I have several T580’s which utilize same drivers, works very well. I use them in most of my servers as well as workstations that are dual boot windows/Mac.
I just had to make sure to configure them properly for the useage. I’m not sure if the T420 has the same capability, but you have to configure with powershell utility and select either 10GbE, 40GbE, or Spider.