Xiaomi verteilt ein kleines Software-Update, das ein großes Problem löst.