Xiaomi open sources its kernel for MI3 and Redmi

Interesting; I've been eyeing the Xiaomi devices for a while. The github issues are saying that some drivers are missing though.