After flashed MIUI by xiaomi.eu for Redmi K40 & POCO F3 (xiaomi.eu_multi_HMK40_POCOF3_V12.5.2.0.RKHCNXM_v12-11-fastboot.zip), the device name is recognized as M2012K11AC or Xiaomi M2012K11AC or Redmi M2012K11AC in many apps such as File Manager, WeChat, Google Play Store, and some benchmarking...