On a more substantive level of criticism ... not a good choice to base their platform (presumably for the next good while) on 32bit ARMv7. I'm assuming they got a good deal on unsold inventory of Tegra K1 (non-Denver).