Xiaomi está a punto de comprar Dashi, servicio que porta Roms a muchos dispositivos Android, ¿cuáles son sus intenciones?