So in theory, could we build vlc/ffmpeg etc with openmax based h/w accel whilst having either original or 720p codecs installed as long as it doesn't need gstreamer-openmax?