they produce patches, not redistrib. linux. its their code, and patch, and thus should be able to do what they want, no?

that aside, im upvoting because the full version of the story sounds quite interesting. they themselves are tired of seeing GPL violations, among other complaints, leading to their decision