A priori, si tu as acqueri leur materiel (manifestement, ils le vendent assez cher ), oui tu es en droit d'avoir les sources mais pas avant. La gpl est une licence et elle ne s'applique qu'a toi meme, (et que tu peux accepter ou refuser comme toute autre licence)
Ensuite, il faut que pour le materiel vendu, il te soit fourni la licence GPL proprement dite sinon tu ne peux pas reclamer.
En ce qui concerne le code source lui-meme du kernel linux, il est sous licence GPL et les modules doivent l'etre aussi. Ici, intervient la notion assez floue de travail derive (derivative work). Si le module fait partie d'un travail derive sur linux, il doit etre sous GPL, sinon ce n'est pas obligatoire. C'est pourquoi les modules proprietaires de nvidia sont toleres, ils preexistaient deja avant pour une autre plateforme (hem), et c'est un portage qui a ete effectue. Debat passionne qui s'est deja deroule sur la kernel mailing list
Ceci etant dit, je ne suis pas juriste