Galnet posted a fix for 720p choppy recording in the MIUI post.
The problem I found was that it didn't work for everybody.
So, after doing a tkdiff on the changed file for the fix: media_profiles.xml, I saw that the 720p fix is a change of the recording bitrate from 12,000,000 to 10,000,000.
For my phone it wasn't enough and I was still getting choppy recordings, so lowered the bitrate even further to 5,000,000 and now I have flawless 720p recording!!!
How to fix the issue:
1) Make /etc/ R/W (use root explorer)
2) Edit the file: media_profiles.xml and change the bitrate line:
<EncoderProfile quality="hd" fileFormat="mp4" duration="60">
3) save the file
4) make /etc/ R/O again
5) enjoy 720p recording
1) HD playback is still choppy -- so you have to transfer the file to your computer to test!!!
2) You can try and increase the bitrate from 5000000 to 10000000 (which was GALNET's original value) -- and if it is still good for you great.
THANKS A LOT GALNET!!!