What driver stack is Google using for ChromeOS? Is it proprietary? I assume all the Chromebooks have decent touchpad functionality, can't that be mainlined or whatever?