If you're using Stock Rom, then do a backup. When you want to go back to stock kernel, then do a restore.
If you're using Custom Roms (Savvy , Epsilon or ARTmod), then just reflash the custom ROM again to revert back to stock kernel.
Hope this helps.
SolidKernel is good but has minor problems which I just reverted back to Stock