O problema é que o colega está tentando usar o driver proprietário, compilado a partir dos fontes. Depois de várias tentativas, o sistema possivelmente está sujo, com arquivos e configurações desencontradas.
Eu acho uma boa ele formatar e instalar do zero, vai começar de uma base sólida.
sim começa com tudo novo instalar do zero.... mas zero mesmo... baixa nova .ISO etc ..