Wow, that is a lot of work...
There have been smartcard-improvements in the last few releases and a few issues have been solved but this I have not heard about before.
I would suggest to file a support ticket with VMware support and get them to look at this.
// Linjo