I have no idea which driver names are 10gbit and I certainly don't go to a store and ask for hardware by its device ID or chip family name.

Come on, amigo. Click the link, Ctrl-F for "10Gb", then click the links. The man pages even include the actual manufacturer part number that they've tested. What more could you need?

Perhaps if you actually read the driver description, or who knows, searched the web page you would have found the answer to your question.