Si, ho appena provato, ho provato tutte e tre le impostazioni video (1080, 720 e 480) solo l'ultima non scatta. Probabilmente è un problema della MIUI e mi sembra che sia presente anche su MI3 e MI4 (non vorrei sbagliarmi quindi lascio un interrogativo), bisognerebbe provare con qualche app alternativa e vedere se si comporta allo stesso modo.
In ogni caso a me non serve dato che i video li faccio con la Canon 5Dmk2!!!
EDIT: Provato con JellyBean Camera e non laggano i video! Quindi è proprio l'app di default.
Doppio EDIT: Provato anche con Cinema FV-5 e funziona moooolto bene e soprattutto non sgrana i video come l'originale (ovviamente a 1080p)!!!