pcDuino3S mini PC runs Linux and Android