[vdr-softhddevice] Use compat-ffmpeg28 for F28