Este enlace no nos sirve, solo funciona para el modelo siguiente,
Este modelo es:
ro.product.model=SM-N900
ro.product.brand=samsung
ro.product.name=ha3gzs
ro.product.device=ha3g
según indican en el foro de miui.es
http://foro.miui.es/index.php?topic=10680.0