Wrong, 720p codecs are a combination of upgraded DSP driver (contained in the kernel in question), gst-dsp and codec nodes from Harmattan.