When using Kodi, it can sometimes randomly crash
Great for some gaming, but you'll need to add micro sdcard since internal storage is quite limited
There's some chinese stream app installed, doesn't seem to work for me
Probably need those dns app that most sellers seem to have preinstall in their mibox units.
Instead I just installed astro iptv service, there's a bunch of sellers there in garage sales.
Using the 2g ram version btw.

Kodi doesn't really crash, but the playback suddenly stopped for no reason, but you can resume it immediately
Then again, I tried using Kodi on the mibox around a few months back
Since then there's probably a lot updates for the android version, and I still haven't update my mibox to the latest version yet.
The same 4K version that you just mentioned, just that mine's 2gb version which is quite rare to find now.
I don't even see this version listed in the xiaomi official website anymore.