We are talking about smartphones Xiaomi Mi 11X and POCO F3 in the global market. The Redmi K40 was one of the first phones to receive the MIUI 12.5 Enhanced Edition in China, so it should come as no surprise that its international versions are also among the first. As a reminder, Xiaomi Mi 11X is the renamed Redmi K40 for India, and in the face of POCO F3, the model debuted on the international market.
The software update for Xiaomi Mi 11X received build number V126.96.36.199.RKHINXM, for POCO F3 – V188.8.131.52.RKHMIXM. But since the latter is sold in many countries, other regional options are also possible.
Like any other update, MIUI 12.5 Enhanced Edition for Mi 11X and POCO F3 is also released in batches, so full rollout may take a while.