En Windows 8 64bit ni modificando el driver. Me daba error de hash modificado. Al final le puse el ADB de Samsung (ya que tengo instalado los drivers del Galaxy) y funcionando. O sea, que valdrán los drivers ADB de cualquiera.
Para arreglar el Market tuve que instalarla como carpeta del sistema y funcionó ok.