Gentoo derivative is the most popular Linux distro, but its days are apparently numbered Google's Android president has confirmed the platform is set to replace ChromeOS - but not when....