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 Page Plus
ROM: Stock ND8 Debloated
Kernel: Stock Unsecured