Yes, it does. If you look at /proc/cpuinfo information, you will notice vfp in features. That mplayer test package for N800 was built with vfp support, so it theoretically should be usable with codecs that are using floating point math in ffmpeg/mplayer (WMA, AC3, AAC). Now we only need to wait for some happy N800 owner to test this build with WMV video and report results