No it was regular cm10 and it was on a fresh install that past couple times I've tried it and I even downloaded the kernel again not sure what's up with it
Sent from my LG-P930 using xda premium
I assume it boots fine without the kernel? Again, don't know if it matters, but did you let it boot once before installing the kernel?