No hardware video acceleration!

Hi, I found 3 kernel commits from Linaro that has been in code review since July
for the kernel drivers:
I can build with those, but the OMX plugins for libstagefright are missing.

Are those going to be available soon? However powerful this CPU may be,
video playback is stuttery with files that play fine on the single core raspberry
PI. (ie. 1080p H.264)