But that doesn't say anything about being related in any way with Android code, does it?
Also I think since kernel 3.3 Android uses the exact same kernel as other Linux distros. The Android kernel got merged with the normal Linux kernel. So I don't see why it would be a problem for them to use the same kernel.