HM2013023 es el redmi 1 (el que lleva chip mediatek) en su versión WCDMA. La última rom oficial es la 26.0 de miui v5; este móvil no tiene miui v4.
Supongo que tendrás una rom basada en la estable 13.0 pero modificada para permitir root atraves de la app de permisos.
Puedes buscar en miui.es la última versión disponible con el español incorporado o en en.miui.com la que lleva chino/inglés