Du kannst ruhig den für 32-bit nehmen. Glaube kaum das das Endgerät 64-bit tauglich ist.
Der Treiber richtet sich immer nach dem Bus des Endgeräts und nicht nach dem Bus des Betriessystems. Somit kannst du ein 64bit Betriessystem und einem 32 bit Gerätetreiber kombinieren- funktioniert problemlos.