Es asi como se consulta:
En los terminales de Orange no dice nada en la caja, tenéis que abrir el archivo /proc/cpuinfo y comprobar que en el campo Hardware aparece Ville (S4) y no VilleC2(S3). Yo usé la aplicación "File Manager" para mirarlo, no hace falta ser root.
En la caja si aparece SH23/SH24/HT23/HT24 como número de serie también podéis estar tranquilos, deberían ser S4, ya que son los primeros modelos. Si os llega un SH25 haced la comprobación. No sé a partir de que número de serie (o fecha de fabricación, que se deduce del número de serie) se hace el cambio pero ya lo averiguaremos.
Yo lo he hecho con el root explorer. Ahora adjunto imagen