I have the issue where
some4 of my HD free to air channels are played at 50 fps and other 2 are still played at 25 fps.
I have not tested your samples yet, but is the issue that a 25hz mode is selected? You can remove the 25hz modes from the resolution whitelist and keep the 50hz modes, that way a 50hz mode will be selected when a 25hz video is starting (same as in Krypton).