Oh yeah I believe you. Looks like they missed some, though. Is this one supposed to be GPL too?
Nope, they look like userspace drivers so it's most likely not covered by the GPL, unless they use GPL functions.
I admit i haven't looked at that yet... There's even a GPS driver in there, even though most of them are not free/libre.
I'm still waiting on an answer from them.