Muy interesante, parece que con el Redmi Note 5 también se puede.
Activar la grabación 4K con Open Camera  https://c.mi.com/forum.php?mod=viewthread&tid=1402638&page=3&ordertype=1&mobile=2#pid7857900