Default How many Kernels are available for TW 4.3?

I count:

1) CNexus Stock 4.3 kernel
2) decimalman's 4.3 TW kernel
3) Ktoonsez 4.3 TW kernel

Does this list represent our choices? Which is your preference?
If my post helped you, hit the thanks button!

Phone: Samsung Galaxy SIII SPH-L710 flashed to VZW MVNO
ROM: MSG & Chubbz v5.0.2
Kernel: Stock