@sulu,

I'm no expert, but the only difference between armhf vs armel (or rather, hardfp vs softfp) is in the use of FP registers as a calling convention (as opposed to using the stack).

Both hardfp and softfp will use the floating point unit in exactly the same way.

So, if most of the work done by mplayer is done within a single function (perhaps with other functions inlined), you should see no difference.