Sorry, didn't realize Cinch is a version of Raspbian for Robots.
What about all the code included with Raspbian for Robots? Are you saying replace all that with another OS? Couldn't you use an app for Chrome to SSH into the GoPiGo from a Chromebook? Maybe I'm not understanding the advantage here.
Connect to your Raspberry Pi Robot from a Chromebook