I just tried playing a 1280x688 mkv file and it can't do HW decoding, fallsback to SW Fast, prob because MX video player's ARMv7 optimized codec doesn't support it yet (it works for other mp4 formats though). It's slightly choppier than the original 24fps, maybe around 20fps when there's a lot of motion.