Miui kernels are built specifically for the rom they are packaged with, probably won't work.
I'm no so sure about that. I thought I saw a post saying this is using Slimkat as a base, in which case any kernel that is compatible with the base should work. If that isn't true, than I would avoid non-MIUI kernels.