In bug 2632, we started using certificate serial numbers instead of token names to identify tokens. We still give a token name to OpenSSH and Putty though. It would be better if we could convert those to also identify things based on serial.
We do this for OpenSSH. Now we're just waiting for the conversion of Putty to OpenSSH on Windows.
Conversion done, so this is now fixed.
* tlclient-4.0.0post-3965, Windows 7.
I can still log in using smart cards, the log file refers to looking up certificates through serial number, no traces of TOKENNAME left in the code.