mplayer has to be convinced to downscale the image when playing a 720p video. And even when it does, it's all software decoding so it's quite slow. A proper build would require using the DSP which, as I understand it, the default media player uses. But again, it deliberately restricts what formats you can play, and nothing I've encoded or thrown at it has ever worked.