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.