Dzięki za odpowiedź.
To trochę słabo, że trzeba ściągać te wszystkie apki, żeby zaśmiecić czystego Androida. No ale co zrobić.
Z dzwonkiem mam taki problem, że właśnie nie ma tam żadnej opcji dodania własnego. A gdy wchodzę na konkretną mp3 (przez Ustawienia, Pamięć), to nie mogę nawet żadnej odtworzyć, mimo że mam już zainstalowaną Pi Music.
Na razie raczej jestem zawiedziony tym Xiaomi, bo jest wybitnie "niedostosowalny"