People, even if we don't have the kernel sources, we have CyanogenMod 13 builds from an XDA Dev, zwliew (Zhao Wei Liew). Although according to the GNU license, Xiaomi still has to release the kernel sources for their devices (our land being one of them).