https://www.hardware.com.br/comunidade/ti4200-driver/223391
TI4200 sem driver WIN64bit.