Keine schlechte Wahl. Jedoch gebe ich nochmals zu bedenken, das du dein bisheriges Setup auch über den internen Player deines TV unter Kodi verwenden kannst. Würde dich nix kosten.
Kurze Erklährung dazu, da du da bisher nicht drauf eingegangen bist...Du behälst dein Setup. Aktivierst in Kodi DLNA. Du legst dir ne Playercorefactory an, die Kodi anweist, das 4K Filme über den internen Player deines TV abgespielt werden. Wenn du dann nen 4K Film aus Kodi heraus startest, wird dieser auf dem internen Player deines TV abgespielt. Stoppst du den Film, dann biste wieder direkt in Kodi. Du bemerkst also kaum, das der Film nicht über deine aktuelle Hardware abgespielt wird, sondern über deinen TV.
Ich handhabe das momentan ebenso und warte halt, bis sich Treibermäßig was bei Linux/Grafikhersteller bezüglich HDR tut.
Werde ich mir definitiv mal anschauen und probieren. Danke.