it seems like every NIC on the market that can do 100Gb has support in its linux kernel driver, so probably not a big deal in practice