SeaMicro SM10000, 10 512 Intel Atom, 1,6 .