Problém je v tom, že licence GPL Vám přikazuje (velice zhruba řečeno), že k binárce musíte dodat i zdrojové kódy. U samotného jádra to není problém, ale jakmile do něj "zamontujete" binární ovladač, už to problém je, protože k němu ty zdrojáky dodat nemůžete (protože je nemáte a nedostanete).