He tenido otro problema con el mismo terminal, y tampoco se resolvía de esta manera.Al final despuès de semanas de trasteo, he llegado a resolverlo, simplemente al reinstalar el kernel (cualquiera válido para el dispositivo). De alguna manera me ha hecho pensar que la imagen del kernel no esta montada en la memoria principal sino en otra, de lo contrario se hubiera formateado y reinstalado con lo demás.Por lo tanto a los que no les funciona el formateo, seguramente es por corrupción del kernel, y necesita flashearse de nuevo via twrp, fastboot o adb.