>Of course, if all we cared about was the "linux" part of gnu/linux, then its already the most popular operating system kernel in use by mankind. Its already won.

Except the "linux" part matters to the actual user not one bit.

Android is a fairly walled garden no matter what kernel it uses. It's an implementation detail.