Even many Linux users aren't aware that there are many different kinds of Linux kernels. Sure, there's the eternal release candidate kernels, which Linus Torvalds is perpetually working on, but then ...