There's no legal precedent, but if you want to read a ton of legal speculation on a related topic (some by informed people, some by those less informed), there's a pretty large body of writing on the hypothetical issues of whether proprietary Linux kernel modules violate the GPL.

edit: here's a pretty thorough law-review article: http://web.bu.edu/law/central/jd/organizations/journals/bulr...