Nesta dica explico como instalar uma versão mais atualizada da 
VaAPI (Video Acceleration API) adequada à GMA500 no Ubuntu 
Linux. O desempenho geral melhora significativamente com o uso desta API porque os recursos de aceleração gráfica da placa de vídeo são usados mais efetivamente, o que acaba por "desafogar" a CPU durante a execução de vídeos full HD. 
Como é necessário que o player consiga fazer uso da VaAPI, também explico como gerar o .deb do mplayer com os devidos acertos.
Antes de prosseguir recomendo executar  
esta dica. É interessante criar uma pasta para receber os arquivos baixados ou gerados durante os tópicos a serem executados.
Aqui  estão os arquivos .deb que gerei. Quem quiser "encurtar caminho", basta executar as partes I e III deste tutorial. Mas como os fontes podem ter sido atualizados, alguns podem se interessar em compilá-los novamente, bastando ir diretamente às parte II e III.
Não fui econômico ao sugerir a instalação de alguns pacotes no item 1 da parte II, mas por via das dúvidas é melhor sobrar do que faltar. Assim posto, vamos ao que interessa!
Parte I
1. Instale os seguintes pacotes:
 sudo apt-get install libdrm-dev pkg-config libtwolame0
2. Crie o link do seu driver de vídeo para o diretório do driver vaapi:
 sudo ln -s /usr/X11R6/lib/modules/dri/psb_drv_video.so /usr/lib/va/drivers/
3. Baixe e descompacte 
este arquivo:
 tar -xvf mplayer-VAAPI.tar.gz
4. Instale os pacotes:
 cd mplayer-VAAPI
$ sudo dpkg -i *.deb
Parte II
1. Prepare o ambiente para compilar e gerar adequadamente os arquivos .deb:
 sudo aptitude install cdbs autotools-dev automake1.9 libtool
$ sudo apt-get install devscripts build-essential
$ sudo apt-get install libdrm-dev pkg-config libtwolame0
2. Baixe e descompacte o arquivo a seguir:
 wget  http://www.splitted-desktop.com/~gbeauchesne/libva/libva-latest.tar.gz && tar -xvf libva-latest.tar.gz
 
3. Gere os pacotes .deb:
 cd libva-latest.tar.gz
$ dpkg-buildpackage -rfakeroot -uc -us
4. Instale os pacotes gerados no passo anterior:
 cd ..
$ sudo dpkg -i libva*.deb
5. Crie o link do seu driver de vídeo para o diretório do driver vaapi:
 sudo ln -s /usr/X11R6/lib/modules/dri/psb_drv_video.so /usr/lib/va/drivers/
6. Baixe as dependências do mplayer:
 sudo apt-get build-dep mplayer
7. Baixe e descompacte o fonte do mplayer-vaapi:
 wget  http://www.splitted-desktop.com/~gbeauchesne/mplayer-vaapi/mplayer-vaapi-latest-FULL.tar.bz2 && tar -jxvf mplayer-vaapi-latest-FULL.tar.bz2
8. Compile o código do mplayer baixado:
 cd mpla[TAB] (use a tecla tab para auto-completar o nome do diretório)
 sh checkout-patch-build.sh
 cd mpla[TAB]
9. Se preferir primeiramente gerar o pacote .deb vá para o próximo passo, do contrário instale executando:
 sudo make install
 
10. Para gerar o pacote .deb e instalar a partir dele, execute:
 debuild -us -uc     
$ cd ..
$ sudo dpkg -i mplay*.deb
Parte III
 
1. Para testar se tudo está como o esperado, execute:
 mplayer -fs -vo vaapi -va vaapi  (onde  pode ser um arquivo ou uma URL)
Este 
trailer  em HD é uma boa recomendação para um teste.
Aparentemente o front-end smplayer não passa corretamente os parâmetros "-vo vaapi -va vaapi", mas confesso que não perdi muito tempo tentando resolver. Estou usando o kmplayer: foi "uma mão na roda" configurá-lo. Se alguém tiver êxito em outra GUI gostaria de saber. 
2. Referências: