Linux kernel drivers often end up being GPL'd, but out of tree. This is because Linux releases many very useful (and sometimes critical to the use-case!) functions behind a GPL-license API restriction. This is EXPORT_SYMBOL_GPL.
I'm surprised if so, because usually these sorts of licenses only apply if you're redistributing the code, not if you're just using it privately.