Can that happen? 3(c) is only applicable if they received the code in object or executable form. Does kernel.org distribute object code, or just source code?