Il collegamento Intel dice che è a 64 bit ma riesco a far funzionare solo Lubuntu 16.04 a 32 bit. Anche Slacko Puppy Linux a 32 bit ha funzionato.
Funziona ancora per lo più bene (a parte qualche lacerazione dello schermo che sto anche cercando di risolvere) ma non riuscivo a capire perché le versioni a 64 bit non funzionassero.