War es nicht so, dass johns in seinem softhddevice zwischenzeitlich den libav-Support sogar einstellen wollte (oder gar hat?) weil es mit der libav mehr Probleme gab als mit ffmpeg?
Ich glaube, Du verwechselst hier va-api (libva) und libav, die beiden Dinge haben wenig miteinander zu tun.
EDIT: Nein, ich glaube ich irre mich. ffmpeg hat wohl tatsächlich über libav gewonnen in softhddevice.
Gruß
hepi