Aber es wäre schon nicht schlecht wenn die ffmpeg-Leute dafür sorgen würden

Da RedHat eine kommerzielle Distri ist, wäre es besonders "cool" die ffmpeg Entwickler dafür zu bezahlen. Schon wäre die Sache erledigt.
Christian Schaller arbeitet auch nicht umsonst und andere Entwickler werden auch bezahlt.
Andere Möglichkeit: Selber machen, der Quellcode steht zur Verfügung.