hola saben si sirve conel stock kernel?