Welche Kernel für Android 4.0?

[Takeda]

Hallo

Welche Kernels gibt es für Android 4.0? Was "OC Underclocked" 122mhz kann.

MfG