The GNU GPL is a copyright license. Violations of it are copyright
infringement. It is only the copyright holder of a work who can take legal
action against copyright infringement.
The FSF does not hold any copyright to Linux, as it has never contributed
code to Linux.
Of course, when I say "Linux", I mean Linux, the kernel.
> If they are free wouldn't it make sense to include them in Trisquel?
If they were libre, the would be a part of mainline Linux and distributed in
Debian's main repository, which would flow down into trisquel's repository.
The fact that it isn't suggests that something in it is proprietary. However,
that doesn't necessarily mean a license violation; it could be that the
proprietary components are completely isolated from Linux and act separately.
