Try launching mplayer from a terminal with these options: "mplayer -lavdopts lowres=1,400 /media/mmc1/some_video.avi".

That'll make mplayer decode videos >400px wide at half resolution. If it works well you can make it the default by editing mplayer's config file.