Si metes una ROM cocinada en un S4 y pones un kernel con overclock puedes tener confusión con este método. Lo más seguro para mí es instalar cualquier app de benchmark, por ejemplo
Quadrant, y acceder al apartado "System information"... Allí veréis un apartado dedicado a la CPU, y tendréis una línea llamada "Hardware:".
- Si es S4, veréis "ville".
- Si es S3, veréis "villeC2".
Un saludo.