Thanks alot, currently testing those images --------^^^^^
Can confirm that this works so far. hdmi audio, playback, cec, ethernet. Haven't tested much more, but
let me know if i should test something specific.
edit: 4K 30fps Big Buck Bunny plays with HW decoding. 