I'll give it a try but won't stick with it until an Stable release of CM10.1 is available, because I'm updating at every 3 nightlies and this kernel with an stable release of CM10.1 should be a monster. (and obviously I don't want to reflash it every new nightly.)
Samsung Galaxy Nexus with CyanogenMod 10.1 with TWRP running on Faux123 Kernel
Samsung Galaxy Tab 2 (7" - P3110) with AOSPA3+ with TWRP running on BlackhawkPlus Kernel
AOSPA 3+ for Galaxy Tab 2 (7" - P31xx) maintainer in a co-work with psicodelico.