Jo, HDR geht mit 4k30, bloss halt bei bis zu 12Gbps nicht bei 4k60.
Wenn Du sicher bist, das die CE Kiste 4k60 mit HDR macht (hast Du verifiziert ?), dann scheint der Fernseher ja wohl auch in seiner EDID die 18Gbps Aufloesungen anzubieten.
Bleibt IMHO mal die config.txt Einstellung fuer 4k60 zu aktivieren und zu gucken, ob/wie es das Verhalten verbessert. Ausser es interessiert dann halt doch nicht.
Wenn Du die Kodi GUI auf "nur" 1080p50 oder p60 schaltest, aber in der Whitelist auch 4k@23/4k@25, 4k@30 aktivierst, aber eben auch alle 1080p @23, @24, @25, @50, @60, dann sollte auch das abspielen von 1080p50 Material ohne ruckeln gehen. Evtl. sogar noch 1080@25 deaktivieren in der whitelist und doppelte framerate erlauben, teilweise hatte kodi bei mir probleme, live-tv oder anderes 1080p25 material mit 1080p25 abzuspielen. Aber mit doppeler framerate, @50 ging es problemlos.
Aka: Sollte auf jeden Fall moeglich sein, das Kodi das alles automatisch umschaltest, wie Du willst. Aber garantiert einfacher, wenn man bis zu 4k60 raufgehen kann.
Ansonsten mal separaten fred aufmachen oder RPI5 nachkaufen (Kohle raus