[lhl]

The TK1 is probably worth testing out and looks at least marginally faster in most tests, but it's worth pointing out that it seems nowhere near as much faster as its specs might suggest, and stability running under constant load is still an open question. Here's a couple benchmark comparisons courtesy of Phoronix: http://openbenchmarking.org/result/1405010-KH-NVIDIATEG94,13...

(Still, if it were stable it seems like it's much preferable to having to individually mangle Chromebooks and the TK1 comes w/ Ubuntu preinstalled on it's eMMC. The bootloader can also be flashed to boot from SATA)