Does Linux (Torvald's tree) infringe GPLv2 and contain proprietary binary blobs?