Recompilar el kernel estáticamente