IANAL either, but Microsoft is not distributing "the program" (the Linux Kernel) here. I don't know if the set of patches can be considered "the program" by themselves.
Can I download the kernel from somewhere in microsoft.com? Is there a git tree somewhere? All those could count as "distributing".