I'll have to correct that for you;

Android has everything to do with Linux; I doubt you could really run an android device with any other kernel... (except heavily patched bsd variant I suppose...)

Android is just another Linux distribution, albeit having radically different userland from what people usually have with GNU/Linux.

Some people think that it is the userland that defines a system... well that is just your opinion then, and you should call your apples apples and oranges oranges, then I suggest calling your standard distribution GNU/Linux and android Bionic/Linux.