Lo ha dicho el cocinero del Kernel en XDA. El enlace es el github de Xiaomi, así que es cierto. Y que algo de info me llega de Xiaomi, estuve de beta tester hace un tiempo.
Xiaomi dijo que suspendía las actualizaciones haya junio para dedicarse a la optimización. Este puede ser el resultado, una mejora de Kernel, que mejore rendimiento y consumo.