> I think so, this is what Google does with Android, but IANAL.

Google doesn't ship any proprietary kernel code as part of Android. It's all GPL and available to the public at large.

Some Android kernel parts are maintained separately from the kernel.org mainline tree (i.e. they maintain a fork) but that's not a legal issue (and they're getting better at it anyway).