Chromebooks, ChromeOS, Chrome and GNU/Linux