Mejor prueba en el hilo de Kernels de tu version, compañero (en mi firma estan todos), ahi te asesoraran y usando el buscador podras encontrar como flashear los kernels
Y como recomendacion personal, es mejor no utilizar esas aplicaciones, ya que pueden mostrar versiones obsoletas o crear un cacao que implique instalacion limpia!