"What if someone took the Linux kernel (and *only* the Linux kernel), forked it, applied significant modifications, wrote their own software stack to surround it, and open-sourced the whole thing? DO you call the whole resulting thing Linux?" Maybe you call it Android.