Yes.
Find file HAL3_ENABLE_MIUI_PIE.zip
I downloaded it few months ago on some XDA thread, and try to add here, but it says "The uploaded file does not have an allowed extension"
Flash rom, then that file, and that's it.
I do that all the time, from day that my device (Redmi Note 5 Pro)...