Hi,
Yes, unfortunately, TBDML interface drivers are not supported on 64bit OS.
You can use the BDM interface, for instance P&E USB Multilink, you will need to mount the BDM port.
Or you can use a virtual 32bit PC, as it is explained in AN3936.
Regards,
Daniel