Ho messo questa sera la 4.0.4, facendo il wipe di tutto e quindi mi ritrovo col kernel stock. Ora per qualche giorno lo testo, così vedo come va. Intanto potete consigliarmene uno che avete provato, che sia stabile, e che non consumi un sacco?
fin'ora ho usato l'air kernel (la penultima versione) con le opzioni di default e frequenza massima di cpu a 1.2 GHz, e mi sono trovato abbastanza bene.