Or you can do it the easy way.
Download the stock kernel from XNOTE OTA.
Flash lean kernel. (Imo pretty great)
If you dont like it flash stock kernel it will overwrite lean.
The kernels are available in XnoteControlApp>>RomUpdates>
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer?