Linux on Chromebooks and the future of Chrome OS tablets