Vorrei comprare un tablet col processore sopra citato e installare una distribuzione linux preferibilmente debian/derivate, dando uno sguardo generale ho visto che c'è qualche problema riguardo firmware 64 bit.. c'è qualcuno che ha già provato con successo?