Yes I must say this phone is like a totally different device with your kernelWhat do you mean by "buggy"?
Works like a charm for me
Also about reverting frequencies to stock one- no i won't remove OC since it gives noticeable boost in UI rendering/games. If you don't want to use it then just flash MIUI stock kernel![]()