I don't care about "is Android really a Linux?" either way, but the distinction the parent is making is that Android extensively modifies the kernel (no idea to what extent android modifies the kernel, but this seems to be the parent's central claim) whereas you're arguing that all distros have their own userland (Linux is a complete OS in the sense of "OS == kernel", but presumably you mean "OS == kernel + userland").