Google engineer Bill Richardson has detailed how to boot Linux Mint on the new Chromebook Pixel. The Pixel is the first Chromebook to include the option of booting other operating systems with a third-party bootloader.