Using the mplayer port's source to compile mencoder should be possible. Then tablet-encode or using mencoder directly should work. It'd be very very slow tho'.