@glyph

That assumes they're not 'watermarking' (which, IIRC, is just setting a nonrandom seed?) and waiting for the right supreme court ruling to declare their TOS overrides the GPL because (correctly or not) the kernel is 51% their product.
@mcc @aspensmonster