There is only one kernel available right now for AOSP ROMs like CM10, which was built by sbrissen. There will probably be more once JB is officially released for the E4GT and Samsung publishes the source code. Bottom line, the kernel packed with CM10 is your only option right now.
Sent from my SPH-D710 using Tapatalk 2