Most of their stuff isn't GPL anyway, hence why drivers are mostly in userspace.