Unfortunately the Samsung Chromebox Series 3 uses an Intel processor, not an ARM processor.

A slightly less "friendly" alternative to an ARM-based Chromebox would be the NVIDIA Jetson TK1. It's a developer board with an actively-cooled Tegra K1 SoC. We've been experimenting with these boards over the last two weeks and haven't encountered any stability problems. We're not pushing them as hard as Linaro does but we're certainly putting them through their paces.