Fix a bug in parsing of MIUI version, add a test
When auto-converting the MIUI parsing code from Java to Kotlin, split() should have been changed from taking a regex to taking an ordinary string.
This branch refactors the code to make it testable and adds a test.