Mi Box is an affordable 4K HDR streamer, but dragged down by Android TV ...