Si eso de 3.5gb esta bien a mi tambien me sale asi, lo que yo te pregunto es el peso total que ocupa la rom en el apartado destinado para ella, eso lo puedes ver con algun esplorador de archivos tipo: es esplorer ó rot esplorer,
Las cifras que yo te di las comprobe con link2SD le das a ajustes almacenamiento y te da informacion total de las memorias y en concreto la del sistema.
Gracias por responder
