Toh, ho risolto una problema che mi portavo dietro da un sacco di tempo! Mplayer mi ha sempre consumato un sacco di CPU, e quindi il video mi andava a scatti, spesso. Quindi avevo optato per vlc, che è comunque una figata.
Ebbene, basta modificare il file ~/.mplayer/config ed aggiungere:

vo=xv

e va tutto perfetto!
Grazie a questa guida di Felipe.