Si, me refería la HTC 10, una disculpa.
Respecto a Xiaomi, en equipos con capas personalizadas como MIUI, EMUI y demás, importa más la versión de la capa, ya que por ejemplo EMUI ya tenía muchas cosas desde antes que fueran puestas en Android Oreo, por lo que poco importa la versión de Android.
Igual tienen buena política de actualizaciones con los parches de seguridad, que creo que es lo importante para la mayoría de las personas.