I was trying to edit some videos recorded with my mi5s and I found out that the videos reach neither 24 nor 30 fps, just 19, which seems pretty choppy. I'm at MIUI GLOBAL STABLE 22.214.171.124.0, could someone check if is a software problem? if it record at 30fps on Xiaomi.eu ROM? I play PokemonGO so I need no-root ROM, so if someone can check the last Xiaomi.eu stable I would appreciate it. Thanks.