I built the armv7 hardfp with yocto. mplayer use sgx acceleration. It’s faster .
I made armv7ahf arch with yocto. It´s including sgx acceletion.
And debian is same arch as armv7hf. Debian can use sgx acceleration at default. Kernel version in debiean is 3.8.13. In debian we can get mplayer with apt-get install mplayer2.