[US100] Backport android-x86 HD videos playback support:

add the corresponding codecs from:
http://git.android-x86.org/?p=device/generic/x86.git;a=summary