GPL Verletzung?

Diese berüchtigten GINA-Boxen laufen mit einem "gehärteten"
Debian-Linux. Meines Wissens ist Debian doch reinrassig GPL - doch
nirgendwo finden sich diese 3 Buchstaben... Mit keinem
Sterbenswörtchen wird die GPL erwähnt - ist das keine Verletzung
gegen ebendiese?