Für eine Reihe populärer Xiaomi-Smartphones ist die Update-Ära offiziell vorbei: Der Hersteller hat mehrere Geräte auf seine End-of-Life-Liste gesetzt.