That was my next question. I may put a file out with the stock kernel included instead. I originally just made this theme for myself, and as I was changing things, I got tired of reflashing the kernel everytime so I just stuffed it into the ROM. Just like I didn't include the themed launcherpro at first but I got tired of redownloading it, moving it into /system/app and MM'ing it.
That said, let me know how it goes with your normal kernel.