La tarea demora un rato pero vale la pena hacerla para tener las últimas correcciones del kernel estable hasta ahora (Mayo 20 2014). 

1. Primero lo primero, nos descargamos la última versión del kernel desde el sitio oficial: www.kernel.org