そーね。
GPLが契約だとしたら権利侵害を訴えることが可能なのは
権利者だけだから、権利者が自分の権利の及ぶソースコード
が使われていることを証明しなければならない。

んで組み込み系だと証明することは事実上不可能ってことで
OK?