Welchen Kernel für JellyBean?

Ich breuchte eure Hilfe.

Ich kann mich zwischen diesen 3 Kernel nicht entscheiden.

CastagnaIT Kernel:
Overclock until 1804 Mhz
Bigmem kernel version available with 369MB of free memory
Extreme undervolted kernel version available

Nexus Kernel Beta II:
Overclock to 1824 mhz
Ram Avaible = 376mb in BIGMEM / 393 mb in HIGHMEM
Extreme UnderVolt

K^Kernel:
CPU overclockable up to 1824 MHz
- 360MB or 370MB of free RAM
CPU frequencies undervolted (UV version) or extremely undervolted (EXUV version)

Ich habe schon den CastagnaIT Kernel (mit 369 mb Ram) und den Nexus Kernel (mit 393 mb Ram) ausprobiert.
Ich merkte eigentlich keinen unterschied zwischen den Kernel.
Beim Antutu Benchmark Habe ich beim CastagnaIT Kernel 6500 Punkte gehabt und mit dem Nexus Kernel einmal 4700 und einmal 5500 Punkte gehabt. Das bedeutet doch das der CastagnaIT Kernel besser ist als der Nexus Kernel obwohl er 393mb Ram hat oder?

Welchen Kernel benutzt ihr unter cm10?
Was sind eure Erfahrungen?