Since we could probably use some more hands on this to see if there is a noticeable difference:
These are using CM10 sources synced from about an hour ago and a kernel built from AOSP source. The only change from the released AOSP 4.1.2 version of the kernel is enabling the version name to include "-cyanogenmod". Note: you will lose all ability to overclock, change the color tuning, mount network filesystems, and maybe some other stuff that is in the current CM kernel that I'm not aware of.
I don't know yet if this actually improves performance or not - please let me know what you think. I know for sure that it lowers benchmark scores like Quadrant - but I also know that benchmarks mean jack shit when it comes to actual experience. Please give it some use and let me know if this runs better, worse, or the same as a CM10 nightly from within the last few days.
*I have test flashed toro and maguro on top of recent CM10 nightlies. I don't have a toroplus to test with.