Neither are any of the alternatives, really. The Jetson TK1 is a great little board, and it's significantly faster than the original ARM Chromebook (4x2.3GHz Cortex-A15 vs 2x1.7GHz). It also has a fan, so it should stay cool under prolonged load.
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)
https://developer.nvidia.com/jetson-tk1