Yes I agree there is a huge gap between the two. That is exactly why I like to distinguish "GNU/Linux" (even if it is a trimmed down embedded distro that contains less GNU stuff than usually) from "Android". Calling the former "Linux" as opposed to "Android" is weird for me, since the Linux kernel is about the only thing those two have in common. That's like terminologically distinguishing a bird from a cow by calling the bird "animal". I don't get how one can simultaneously argue that 1) the kernel is the thing that should determine the name of the OS and all the rest is irrelevant userland stuff, and 2) Android is "something new" and should not be called "Linux".