Udało mi się ustalić w czym był problem. Dołączony do zestawu z TV Boxem kabel ma za niski standard. Po podłączeniu kablem Ultra High Speed jest dostępne 4K HDR. Automatyczne ustawianie rozdzielczości też działa i ustawai 4K 60Hz, choć raz nie wiem dlaczego ustawiało 1080p 60Hz. Ale to już pewnie jakiś błąd w oprogramowaniu Xiaomi, czyli nic nowego i zaskakującego