Antigaun.
Esos archivos son los drivers.Necesitas el de 64 bits o el que solo pone Windows 7,sin hacer referencia a bits(este es el de 32 bit).Depende de lo que tengas tu.
Y si,necesitas instalarlos,para cambiar las rom y para rootear.
Yo tengo Windows 7,32 bit,y me costó un huevo instalar los drivers.
Pero lo conseguí y ya pude flashear(cambiar) la rom.
