Franco Kernel on stock 4.1.1?

[mayastig]

anyone running a franco kernel on stock jelly bean 4.1.1? ive been thinking about overclocking the cpu/gpu and learned you can do so with kernels... still trying to read up on how to do it properly. if i do change the kernel, is there a way for me to go back to stock 4.1.1 kernel so i can get updates from google?