Chromebook Pixel Linux Kernel - Doing my best to keep Linux running on the Chromebook Pixel