Hombre, yo tengo la versión de JVB que está en el foro, y este kernel hasta la versión k15b se me reiniciaba solo.
La k15c no la probé, pero los comentarios son que siguen produciéndose.
__
Hasta que no se dé con la causa no probaré otra versión, pero cuando se solucione le daré una oportunidad que tiene buen rendimiento.