Mi spiace non essere riuscito ad aiutarti di più, ma spulciando in rete ho visto che quel file di cui parli ha creato problemi a una botta di gente (prova a fare una googlata con solo il nome del file e divertiti...)..
Addirittura ho visto una guida per fare 'finta' di avere installato quel file, mentre in realtà era un link simbolico ai driver ordinari della tua scheda..
..insomma, un casino!! ::) ::)
Comunque se adesso è tutto apposto, meglio così
Buon ubuntu a te e al tuo amico!!