Anyone running Linux or ChromiumOS on a Chromebook ? / Looking for an efficient Laptop or Tablet