One more CES gem: a $55 mini PC that runs Android 4.1