[vdr] Divx h264 decoder