Hallo Zusammen,
Als Workaround zwinge ich den HDMI-Ausgang in 1080i50 durch einen Eintrag in /boot/config.txt:
hdmi_mode=20
Ich denke dass sich ein als 720i50 fehlinterpretiertes 720p50 (das wahrscheinlich nur echte 720p25 Bilder enthält) gut als 1080i darstellen lässt. Habe nicht genauer darüber nachgedacht, da der visuelle Eindruck sehr gut ist. Dies kann aber wiederum vom verwendeten Deinterlacer im Display abhängen, bei mir verschiedene Panasonic Plasmas.