Hay que bajar el zip de la rom developer e instalarlo desde el actualizador de miui, le das a los 3 puntos para abrir el menú y luego a selecciona paquete de actualización.
En la web de miui para descargar la rom la developer que sale para descargar es ya la 8.7.12 que es miui 10.