Mira, yo lo tengo hace unos 6 meses. Le hice la ampliación que hay por internet de 32GB con la tarjeta Sandisk class 2 que, aparte de costarme un huevo de encontrarla, vale carísima.
Llevé instalada la Custom ROM DeepShining v4, e iba de lujo; actualicé a la v5 y empezaron los problemas de reseteo, calentamiento, incluso hard reset. Me pasé a la NextGen+, que además dura muchísimo mas la batería, pero no terminaba de ir fino.
Al final, de casualidad, leí en xda que se le podía meter una tarjeta Samsung de 32GB class 10 (ref MB-MSBGA/EU). Pues se la he puesto y, aparte que va mucho más fluido han disminuido los reinicios. Ojo, han disminuido, casi al minimo (alguna vez esporádicamente al activar la conexión compartida, por ejemplo), no desaparecido.
Yo que tú, si lo mandas al SAT y te lo devuelven igual, si te gusta el terminal, probaría a cambiarle la tarjeta. Es una inversion "pequeña" y no es relativamente complicado. Donde más barata encontré la tarjeta es en pccomponentes.
Espero haberos ayudado.