Muchas gracias por tu ayuda, pero por ahora parece que no puede ser.
La cuestión es que yo tengo instalada la ROM aconsejada en este hilo
CUSTOM ROM - miui v7 NO-OFICIAL multilenguaje y desbloqueo de bootloader multilenguaje y activado el español. Sigo los pasos más o menos como dices en Ajustes-Ajustes adicionales-Idioma e introducción de texto y ahí ya me pierdo. Supongo que le debo dar a Síntesis de voz. Pero ya no encuentro equivalente a ifliktek speech y a text-to-speech output. Sí me aparece Síntesis de Google y Pico TTS. En PIico TTS tengo seleccionado el idioma español; en los Ajustes de PIco TTS no me da ninguna opción; y en Instalar archivos de voz no puedo pulsar (está deshabilitado).
¿Alguien tiene alguna idea de cómo habilitar el micrófono para dictarle al teléfono?