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 SGH-i747
ROM: Stock NE4 Debloated
Kernel: Stock or KT747