Has anyone tried installing Linux on a Chromebook machine? I see that there are a few Chromebook tablet, but I am not sure that the support for this setup would be prevalent now.