Xiaomi EU es una modificación de la rom china, por eso preguntaba. Desde luego en las rom globales, tanto en la estable como en la developer, no se podía elegir un tono de whatsapp diferente de los que trae por defecto el teléfono porque no sonaba. Y algún compañero más también reportó ese bug con las roms globales.
Lo que me extraña es que no se haya reportado ese error y lo hayan solucionado en la rom china que va más avanzada.