?

Sachant que le firmware dans sa globalité est fourni en GPL d'après Alice (j'ai l'impression), alors toutes les sources devrait être en GPL pour celui qui récupère les-dites sources, non ?

Non y a aucune raison que tout soit GPL , les distributions Linux ne sont pas Full GPL non plus.