A China OS is exactly what IS normal in China.
Someone here may be able to help, but we don’t discuss Redmi phones much at Android Central, so it may be best if you seek guidance in a Redmi users’ forum, where they’ll know about any available firmware and ROMs.