Also meine Erfahrungen von gestern mit Kodi:
V17 geht HDR mit 24p, allerdings nur, wenn Kodi vorher beendet war. Sonst erfolgt nur ein Wechsel zu HDR, kein Frequenzwechsel.
V18 will scheinbar überhaupt nicht, zumindest bei mir nicht, kein HDR und kein Umschalten auf die passende Frequenz