Hab das OTA-Update noch nicht probiert, aber soweit ich verstanden habe sollte das OTA-Update bei installiertem 4ext recovery funktionieren, ohne dass man eine Dump-Datei auf die SD-Karte kopieren muss.
Bestätigt!
Wenn man miui updater laufen lässt, erhält man einen Hinweis, wenn sich eine neuere als die installierte Version auf dem Server befindet. Das update funktioniert OTA, und zwar ohne irgendeine dump-Datei.