I'm on latest build, and my Kernel reads "3.0.8-perf". Did something go wrong in the update, or is that the right kernel? - I have no overclocking, and I find MIUI extremely slow compared to Huawei stock.
