the other thing is that the GPL is explicity *not* a use license. So long as the end user is the one doing it, they cannot argue that binary-only drivers are not legal. The interface between the binary and the GPL-ed software is the crucial bit, as it must be distributed to the end-users.