[TESTING] Linux 4.9 kernel and improved video stack for Vero 4K / 4K +

Well your TV doesn’t report any 4k 60HZ modes. If you had those before maybe it is a AVR in between giving issues?

720p60hz
1080p24hz
1080p30hz
1080i60hz
1080p60hz
2160p30hz*
2160p24hz
2160p30hz*
smpte24hz
smpte30hz

Also recommend people with 4K TV’s set their user interface (UI) to 1080p. Kodi’s UI is not optimized for 4K yet and this can put unnecessary demands on your device and can lead to a suboptimal picture quality, as well as potentially cause other issues.

The settings we recommend are as follows…

Settings>System>Display>Resolution> 1920x1080p
Settings>System>Display>Whitelist> (empty) *
Settings>Player>Videos>Adjust display refresh rate> On start/stop

Some televisions may also need, or benefit from, the following being set…

System>Display>Force 4:2:2 colour subsampling> (enable)

With the above settings your UI will be output in Full HD and your 4K content will be output in 4K. *Information regarding the whitelist can be found here. If you have any doubt, feel free to upload some logs so we can verify that your settings are indeed correct.