pues si esta disponible el driver propietario para la tarjeta, yo lo haría por archivo.
Cuando se descarga con repositorio normalmente se buscan las librerias adecuadas para el uso de los modulos y etc etc etc, lo que puede hace que se usen los archivos que esten al día para la distro, pero puede que no sean las que esten lanzadas por el fabricante mismo, porque puede que hayan lanzado actualizaciones recientes que el grupo de desarrolladores de la distribución no ha tenido en cuenta.
Cuando se descarga con repositorio normalmente se buscan las librerias adecuadas para el uso de los modulos y etc etc etc, lo que puede hace que se usen los archivos que esten al día para la distro, pero puede que no sean las que esten lanzadas por el fabricante mismo, porque puede que hayan lanzado actualizaciones recientes que el grupo de desarrolladores de la distribución no ha tenido en cuenta.