4k video playback issue after October update

There was apparently another update, so now I am on

Linux vero4k 3.14.29-129-osmc #1 SMP Sat Nov 17 17:40:12 UTC 2018 aarch64 GNU/Linux

Unfortunately still the same, no 4k playback at all – just results in No signal, and also no sound on the AVR.

Here is the log: http://paste.osmc.tv/ovetenuvic

Display chain: Vero4k+ – Denon X6500H – Sony VW570

4k has not worked on any build since the October update, before all different 4k files played fine (if too dark, but that should be fixed – just can’t see it yet ;))

The two files I was playing in the log are:

demo 2160p uhd 10 bit HDR TrueHD Atmos x265.mkv
    Video: HVC1 3840x2160 23.976fps [V: hevc main 10, yuv420p10le, 3840x2160 [default]]
    Audio: TrueHD 48000Hz 8ch 9216kbps [A: English [eng] (truehd, 48000 Hz, 7.1, s24) [default]]

and

LG Chess 4K HDR Demo.mp4
    Video: HEVC 3840x2160 59.94fps [V: hevc main 10, yuv420p10le, 3840x2160]
    Audio: AAC 48000Hz stereo 384kbps [A: aac lc, 48000 Hz, stereo, 384 kb/s]

Both played before October update, as did all other 4k files.

Also still with this kernel there is no display (logo) during bootup, this is new for kernel -128 and -129

Again, when I connect the Vero4k directly to the Sony projector (without the AVR) 4k plays fine.

So the problem must lie somewhere in how vero talks to the Denon receiver since the October update.

My previous log with kernel -127 is here: https://discourse.osmc.tv/t/testing-vero-4k-4k-video-improvements/74832/343?u=obstler42