Molto strano che con quell'hardware Linux Mint giri a fatica, oltretutto su ssd...hai detto di aver installato la versione più leggera, quindi presumo XFCE, ebbene io su portatili con 4 gb di ram e hdd vedo che gira tutto bene senza eccessivi rallentamenti, con ssd non ho mai avuto problemi di lentezza con nessuna distro
Alla peggio, se il tuo amico non ha bisogno di usare il lettore / masterizzatore (che non è supportato), gli metti Chrome OS Flex e con quello vola, dato che è basato su Gentoo...visto che l'uso principale è la navigazione, con un sistema cloud risolvi alla grande.