Siento hacer doble post, pero ya he encontrado el modelo. Se trata de Mixc S5 Mini, aquí se puede ver información del terminal:
http://es.focalprice.com/MK0335B/MIX...l?Currency=EUR
Sin embargo, no he conseguido encontrar nada sobre cómo cambiar la rom, rootearlo o hacerle ninguna cosa. La verdad es que me encantaría quitarle toda la porquería que trae de serie y que no me deja desinstalar. Ni siquiera me permite instalar Whatsapp (me dice que la versión no es compatible al intentarlo desde Google Play), aunque trae instalada una versión que al entrar me pide actualizar descargando la apk directamente desde el navegador web (no me he atrevido a hacerlo). Si alguien tiene este terminal o sabe algo al respecto, le estaría muy agradecido.