Al final voy a poner este kernel porque por mas que he leído no entiendo que diferencias existen entre ellos. Pongo este y a probar Kernel_JB-4.2.2_3.4_v1.1_Linaro-4.7.4_OC_EXUV_390MB_Signed
Pero me gustaría tener claro porque instalar uno o otro, si alguien me puede ayudar.