A customized version of gstreamer for h264 hardware encoding