First, some background on my question. My last device had a locked bootloader, so I could flash roms and could even get recovery, but I could never change the kernel. Thus, I never learned about custom kernels. Today, however, I have a Asus Transformer Infinity with an unlocked bootloader and a Cyanogenmod 11 nightly installed. There are several nice kernels I'm looking to try. My tablet also has a Tegra 3 process I'm eager to overclock, and so we arrive at my question.
Can I flash the MaxKernel, or other kernel, under Cyanogenmod without issues? I assume that my TF700T is still using the stock kernel right now, but are all kernels compatable with all roms? Also, I welcome any constructive comments, information, or external reading on kernels you you have to offer.
Thanks in advance,